The following pages link to BACH (Q23842):
Displaying 5 items.
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (Q3656877) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
