The following pages link to SPeeDI (Q13640):
Displaying 6 items.
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- (Q3384178) (← links)
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems (Q3511244) (← links)
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems (Q3525148) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901907) (← links)