Publisher
Springer International Publishing
Reference87 articles.
1. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 1–39 (2018)
2. Aichernig, B.K., Tappler, M.: Probabilistic black-box reachability checking (extended version). Form. Methods Syst. Des. 54(3), 416–448 (2019). https://doi.org/10.1007/s10703-019-00333-0
3. Alimguzhin, V., Mari, F., Melatti, I., Salvo, I., Tronci, E.: Linearizing discrete-time hybrid systems. EEE Trans. Automat. Contr. 62(10), 5357–5364 (2017)
4. Alur, R.: Principles of Cyber-Physical Systems. MIT Press, Cambridge (2015)
5. ARIANE 5 Flight 501 Failure (1996). https://www-users.cse.umn.edu/arnold/disasters/ariane5rep.html