BACH
From MaRDI portal
Software:23842
swMATH11906MaRDI QIDQ23842FDOQ23842
Author name not available (Why is that?)
Cited In (5)
- Quantitative Model Checking for a Controller Design
- 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
