Stochastic local search for falsification of hybrid systems
From MaRDI portal
(Redirected from Publication:3460587)
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95) Control/observation systems involving computers (process control, etc.) (93C83)
Recommendations
- Linear hybrid system falsification through local search
- Combined global and local search for the falsification of hybrid systems
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
Cited in
(11)- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- Multi-armed bandits for Boolean connectives in hybrid system falsification
- Falsification using reachability of surrogate Koopman models
- Falsification of hybrid systems using adaptive probabilistic search
- Combined global and local search for the falsification of hybrid systems
- sitar
- Linear hybrid system falsification through local search
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Multi-Requirement Testing Using Focused Falsification
This page was built for publication: Stochastic local search for falsification of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460587)
