@misc{indiciae33680a30b91e,
  title = {PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems},
  author = {Quinn Thibeault and Jacob Anderson and Aniruddh Chandratre and Giulia Pedrielli and Georgios Fainekos},
  year = {2021},
  url = {https://arxiv.org/abs/2106.02200},
  note = {Source identifier: 2106.02200}
}