C2e2
From MaRDI portal
Software:31961
swMATH20139MaRDI QIDQ31961FDOQ31961
Author name not available (Why is that?)
Cited In (14)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Sapo
- Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
- 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
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Multi-agent Safety Verification Using Symmetry Transformations
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachset Conformance Testing of Hybrid Automata
- Compositional falsification of cyber-physical systems with machine learning components
This page was built for software: C2e2
