1. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
2. Yashwanth Annpureddy , Che Liu , Georgios Fainekos , and Sriram Sankaranarayanan . 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems . In Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K. Rustan M . Leino (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 254–257. Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K. Rustan M. Leino (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 254–257.
3. Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donzé , Georgios Fainekos , Oded Maler , Dejan Nickovic , and Sriram Sankaranarayanan . 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications . In Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, Vol. 10457 . Springer , 128–168. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, Vol. 10457. Springer, 128–168.
4. Full control of a quadrotor
5. Adversarial Sensor Attack on LiDAR-based Perception in Autonomous Driving