5 citations · 5 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
Quinn Thibeault, Giulia Pedrielli
Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and syste…
cs.SE2021
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre +2
In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a compl…