RAMAS
From MaRDI portal
Cited in
(14)- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Language-Based Abstraction Refinement for Hybrid System Verification
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- Hybridization methods for the analysis of nonlinear systems
- Reachability analysis of polynomial systems using linear programming relaxations
- RoVerGeNe
- R-Charon
- Complete abstractions of dynamical systems by timed automata
- Computing reachable sets for uncertain nonlinear monotone systems
- Hybrid Systems: Computation and Control
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
This page was built for software: RAMAS
