Cited in
(38)- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Rigorous simulation-based analysis of linear hybrid systems
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- Multi-agent safety verification using symmetry transformations
- Scalable static hybridization methods for analysis of nonlinear systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- NLTOOLBOX
- S-TaLiRo
- SpaceEx
- dReach
- Flow*
- HYST
- HySon
- GRKLib
- Hybrid Trace Verifier
- STRONG
- Breach
- HyLAA
- XSpeed
- Sapo
- CORA
- timed-pattern-matching
- JuliaReach
- MONAA
- TIRA
- aaflib
- PyInterval
- self-driving-car-sim
- ERAN
- On minimising the maximum expected verification time
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Reachability analysis for high-index linear differential algebraic equations
- GoTube
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachset Conformance Testing of Hybrid Automata
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- Compositional falsification of cyber-physical systems with machine learning components
This page was built for software: C2e2
