Pages that link to "Item:Q5491856"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5491856):
Displaying 4 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)