Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Open Access
- 6 May 2025
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1-10
Abstract
No abstract availableThis publication has 33 references indexed in Scilit:
- Gaussian Process-Based Confidence Estimation for Hybrid System Falsification2021
- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems2021
- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness2021
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications2018
- An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems2017
- STLInspector: STL Validation with Guarantees2017
- Efficient Robust Monitoring for STL2013
- Test Coverage for Continuous and Hybrid Systems2007
- The Design and Analysis of Computer Experiments2003
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990