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.
Chicago Style CitationLiu, Yang, Yan Ma, Yongsheng Yang, Tingting Zheng, and DEPARTMENT OF COMPUTER SCIENCE. Counterexample Generation for Probabilistic Model Checking Micro-scale Cyber-physical Systems. MDPI, 2022.
MLA CitationLiu, Yang, et al. Counterexample Generation for Probabilistic Model Checking Micro-scale Cyber-physical Systems. MDPI, 2022.
Warning: These citations may not always be 100% accurate.