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