Pages that link to "Item:Q3442637"
From MaRDI portal
The following pages link to Verification of cooperating traffic agents (Q3442637):
Displayed 6 items.
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems (Q2867948) (← links)
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)