CORA
From MaRDI portal
Cited in
(90)- Verisig
- GoTube
- nnenum
- NNVODE
- Sherlock
- ReachNN
- Kaa
- ParNMPC
- HySAT
- KeYmaera
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- A comparison of zonotope order reduction techniques
- PHAVer
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- MPT
- Ariadne
- HSolver
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- On the co-NP-completeness of the zonotope containment problem
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Robust data-driven predictive control using reachability analysis
- Parameter synthesis of polynomial dynamical systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Reachability analysis of a general class of neural ordinary differential equations
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Set operations and order reductions for constrained zonotopes
- NLTOOLBOX
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- AERN
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Ellipsoidal Toolbox
- SpaceEx
- FaPAS
- BACH
- Handel-C
- FDR3
- ROSCoq
- Pyhybridanalysis
- Comparison of guaranteed state estimators for linear time-invariant systems
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- HOL-TestGen
- Reachset Conformance Testing of Hybrid Automata
- STRONG
- PESSOA
- CoSyma
- HYST
- C2e2
- XSpeed
- HySon
- Flow*
- dReach
- ERODE
- HyLAA
- Breach
- Isabelle/UTP
- Rigorous simulation-based analysis of linear hybrid systems
- RailCNL
- Solace
- ZRC
- Model Predictive Control Toolbox
- ModelPlex
- JCSP
- timed-pattern-matching
- SHGO
- DryVR
- JuliaReach
- HyPro
- MONAA
- Reluplex
- Marabou
- Differential_Game_Logic
- NNV
- VERIFAI
- DynIbex
- OMPL
- BluSTL
- Multi-agent safety verification using symmetry transformations
- Control Toolbox
- Acumen
- Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems
- CAPD DynSys
- helperOC
- sitar
- KeYmaera X
- Transformer semantics
- SafetyKit
- Scenic
- Veritex
This page was built for software: CORA
