Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Chandratre, Aniruddh"'
Autor:
Thibeault, Quinn, Anderson, Jacob, Chandratre, Aniruddh, Pedrielli, Giulia, Fainekos, Georgios
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 completely modular toolbox supporting multiple temporal logic offline monit
Externí odkaz:
http://arxiv.org/abs/2106.02200