Libero Nigro, Paolo F. Sciammarella. Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. In Yaxin Bi, Rahul Bhatia, Supriya Kapoor, editors, Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference, IntelliSys 2019, London, UK, September 5-6, 2019, Volume 1. Volume 1037 of Advances in Intelligent Systems and Computing, pages 1232-1251, Springer, 2019. [doi]
Abstract is missing.