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