共 34 条
- [1] A Survey of Statistical Model Checking [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
- [3] Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
- [4] Besold TR, 2022, FRONT ARTIF INTEL AP, V342, P1, DOI 10.3233/FAIA210348
- [8] Camacho A, 2019, Arxiv, DOI arXiv:1912.13430
- [9] An Efficient Library for Reliability Block Diagram Evaluation [J]. APPLIED SCIENCES-BASEL, 2021, 11 (09):
- [10] Performability Evaluation of Water Distribution Systems During Maintenance Procedures [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (05): : 1704 - 1720