Classification and Coverage-Based Falsification for Embedded Control Systems
Abstract elided by the publisher.
Related papers
- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs CAV 2024
- Flow2Vec: value-flow-based precise code embedding OOPSLA 2020
- A classification of variation control systems GPCE 2017
- Hybrid Systems: From Verification to Falsification CAV 2007
- Falsification of LTL Safety Properties in Hybrid Systems TACAS 2009
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems TACAS 2011
- Time Robustness in MTL and Expressivity in Hybrid System Falsification CAV 2015
- Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification CAV 2019