Liu, Y., Ma, Y., Yang, Y., Zheng, T., & SCIENCE, D. O. C. (2022). Counterexample generation for probabilistic model checking micro-scale cyber-physical systems. MDPI.

Liu, Yang, Yan Ma, Yongsheng Yang, Tingting Zheng, و DEPARTMENT OF COMPUTER SCIENCE. Counterexample Generation for Probabilistic Model Checking Micro-scale Cyber-physical Systems. MDPI, 2022.

Liu, Yang, et al. Counterexample Generation for Probabilistic Model Checking Micro-scale Cyber-physical Systems. MDPI, 2022.