1. Alessandro Abate , Henk Blom , Marc Bouissou , Nathalie Cauchi , Hassane Chraibi , Joanna Delicaris , Sofie Haesaert , Arnd Hartmanns , Mahmoud Khaled , Abolfazl Lavaei , 2021 . ARCH-COMP21 Category Report: Stochastic Models. In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021. EasyChair, 55–89. Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, 2021. ARCH-COMP21 Category Report: Stochastic Models. In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021. EasyChair, 55–89.
2. Approximate Model Checking of Stochastic Hybrid Systems
3. Vineeth Balasubramanian Shen-Shyang Ho and Vladimir Vovk. 2014. Conformal prediction for reliable machine learning: theory adaptations and applications. Newnes. Vineeth Balasubramanian Shen-Shyang Ho and Vladimir Vovk. 2014. Conformal prediction for reliable machine learning: theory adaptations and applications. Newnes.
4. System design of stochastic models using robustness of temporal properties
5. Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donzé , Georgios Fainekos , Oded Maler , Dejan Ničković , and Sriram Sankaranarayanan . 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications . In Lectures on Runtime Verification . Springer , 135–175. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In Lectures on Runtime Verification. Springer, 135–175.