From 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, и L. Zhang. SETTA, том 9984 из Lecture Notes in Computer Science, стр. 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.

Liu Liu

Keetsin Liu

Ching Liu

Другие публикации лиц с тем же именем

无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System).B. Liu, W. Liu, X. Mao, и 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, и Z. Chen. CoRR, (2020)Optimizing Monitor Code Based on Patterns in Runtime Verification.G. Zhou, W. Dong, W. Liu, H. Shi, C. Hu, и L. Yin. QRS Companion, стр. 348-354. IEEE, (2017)Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.R. Feng, E. Acar, Y. Wang, W. Liu, S. Schlobach, и W. Ding. Inf. Sci., (2022)Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model.Y. Huang, X. Mao, W. Liu, S. Yang, и S. Wang. IEEE Access, (2019)Reach-avoid Verification Based on Convex Optimization.B. Xue, N. Zhan, M. Fränzle, J. Wang, и W. Liu. CoRR, (2022)Verifying Safety of Neural Networks from Topological Perspectives.Z. Liang, D. Ren, B. Xue, J. Wang, W. Yang, и 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, и Z. Pang. Frontiers Comput. Sci., 18 (1): 181324 (февраля 2024)Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.R. Li, H. Shi, W. Liu, и W. Dong. APSEC, стр. 109-118. IEEE, (2020)Symbolic Model Checking APSL.W. Liu, J. Wang, H. Chen, и X. Ma. TASE, стр. 39-46. IEEE Computer Society, (2008)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Liu Liu

Liu Liu

Liu Liu

Keetsin Liu

Ching Liu

Другие публикации лиц с тем же именем

Disambiguation