Pages that link to "Item:Q3442637"
From MaRDI portal
The following pages link to Verification of cooperating traffic agents (Q3442637):
Displaying 9 items.
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems (Q2867948) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← 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)
