Verification of cooperating traffic agents
From MaRDI portal
Recommendations
- Formal Methods for Components and Objects
- Automating Verification of Cooperation, Control, and Design in Traffic Applications
- Verified hybrid controllers for automated vehicles
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
Cites work
- A calculus of durations
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Duration calculus. A formal approach to real-time systems.
- scientific article; zbMATH DE number 995939 (Why is no real title available?)
- Hybrid I/O automata.
- On enlarging the basin of attraction for linear systems under saturated linear feedback
- Uppaal in a nutshell
- Verified hybrid controllers for automated vehicles
Cited in
(12)- Computing differential invariants of hybrid systems as fixed points
- Differential dynamic logic for hybrid systems
- An abstract model for proving safety of autonomous urban traffic
- Proving safety of traffic manoeuvres on country roads
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
- Towards a hybrid dynamic logic for hybrid dynamic systems
- Verification of Hybrid Systems
- An abstract model for proving safety of autonomous urban traffic
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
- Ernst-Rüdiger Olderog: A Life for Meaning
- Automating Verification of Cooperation, Control, and Design in Traffic Applications
- Formal Methods for Components and Objects
This page was built for publication: Verification of cooperating traffic agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3442637)
