TY  - RPRT
TI  - PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
AU  - Quinn Thibeault
AU  - Jacob Anderson
AU  - Aniruddh Chandratre
AU  - Giulia Pedrielli
AU  - Georgios Fainekos
PY  - 2021
UR  - https://arxiv.org/abs/2106.02200
ID  - 2106.02200
ER  -