1. Stealthy attacks formalized as STL formulas for Falsification of CPS Security
2. Quinn Thibeault , Jacob Anderson , Aniruddh Chandratre , Giulia Pedrielli , and Georgios Fainekos . 2021. PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems . In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou (Eds.) . Springer International Publishing , Cham , 223–231. Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, and Georgios Fainekos. 2021. PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou (Eds.). Springer International Publishing, Cham, 223–231.