Multi-Requirement Testing Using Focused Falsification
From MaRDI portal
Recommendations
- Adaptive testing for specification coverage and refinement in CPS models
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- On minimising the maximum expected verification time
Cites work
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Formal Methods in Computer-Aided Design
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Powertrain control verification benchmark
- Reactive synthesis from signal temporal logic specifications
- Robust satisfaction of temporal logic over real-valued signals
- Robustness of temporal logic specifications for continuous-time signals
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Stochastic local search for falsification of hybrid systems
- What's decidable about hybrid automata?
Cited in
(2)
This page was built for publication: Multi-Requirement Testing Using Focused Falsification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120692)