Publisher
Springer Nature Switzerland
Reference27 articles.
1. Baier, C.: Probabilistic model checking. In: Esparza, J., Grumberg, O., Sickert, S. (eds.) Dependable Software Systems Engineering, NATO Science for Peace and Security Series - D: Information and Communication Security, vol. 45, pp. 1–23. IOS Press (2016). https://doi.org/10.3233/978-1-61499-627-9-1
2. Lecture Notes in Computer Science;E Bartocci,2018
3. Lecture Notes in Computer Science;V Castiglioni,2021
4. Castiglioni, V., Loreti, M., Tini, S.: RobTL: a temporal logic for the robustness of cyber-physical systems. CoRR abs/2212.11158 (2022). 10.48550/arXiv. 2212.11158
5. Chen, X., Sankaranarayanan, S.: Model predictive real-time monitoring of linear systems. In: Proceedings of RTSS 2017, pp. 297–306. IEEE Computer Society (2017). https://doi.org/10.1109/RTSS.2017.00035
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献