BACH
From MaRDI portal
Cited in
(8)- HySAT
- SMV
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- RunLim
- Verification of Hybrid Systems
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Quantitative Model Checking for a Controller Design
This page was built for software: BACH
