Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Y. Li, W. Liu, A. Turrini, E. Hahn, and L. Zhang. SETTA, volume 9984 of Lecture Notes in Computer Science, page 280-296. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Liu Liu

Dongmei Liu

Yinghao Liu

Other publications of authors with the same name

Optimizing Monitor Code Based on Patterns in Runtime Verification.G. Zhou, W. Dong, W. Liu, H. Shi, C. Hu, and L. Yin. QRS Companion, page 348-354. IEEE, (2017)无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System).B. Liu, W. Liu, X. Mao, and W. Dong. 计算机科学, 44 (4): 72-74 (2017)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.Y. Zhang, W. Liu, Z. Chen, J. Wang, Z. Liu, K. Li, H. Wei, and Z. Chen. CoRR, (2020)Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.R. Feng, E. Acar, Y. Wang, W. Liu, S. Schlobach, and W. Ding. Inf. Sci., (2022)Reach-avoid Verification Based on Convex Optimization.B. Xue, N. Zhan, M. Fränzle, J. Wang, and W. Liu. CoRR, (2022)Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model.Y. Huang, X. Mao, W. Liu, S. Yang, and S. Wang. IEEE Access, (2019)Verifying Safety of Neural Networks from Topological Perspectives.Z. Liang, D. Ren, B. Xue, J. Wang, W. Yang, and W. Liu. CoRR, (2023)Credit assignment for trained neural networks based on Koopman operator theory.Z. Liang, C. Zhao, W. Liu, B. Xue, W. Yang, and Z. Pang. Frontiers Comput. Sci., 18 (1): 181324 (February 2024)Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.R. Li, H. Shi, W. Liu, and W. Dong. APSEC, page 109-118. IEEE, (2020)Symbolic Model Checking APSL.W. Liu, J. Wang, H. Chen, and X. Ma. TASE, page 39-46. IEEE Computer Society, (2008)

BibSonomy

Disambiguation of "Liu, Wanwei"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Please choose a person to relate this publication to

Liu Liu

Liu Liu

Liu Liu

Dongmei Liu

Yinghao Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Liu, Wanwei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Please choose a person to relate this publication to

Liu Liu

Liu Liu

Liu Liu

Dongmei Liu

Yinghao Liu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.