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
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
- 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
This page was built for software: BACH
