The following pages link to (Q4658726):
Displaying 5 items.
- Augmented complex zonotopes for computing invariants of affine hybrid systems (Q1683442) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- (Q2999597) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901907) (← links)