Proving Safety of Traffic Manoeuvres on Country Roads

This publication has 14 references indexed in Scilit:

• Proof Theory of a Multi-Lane Spatial Logic
  Lecture Notes in Computer Science, 2013
• Axiomatisation and decidability of multi-dimensional Duration Calculus
  Information and Computation, 2006
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
  IEEE Transactions on Automatic Control, 2006
• Verification of cooperating traffic agents
  International Journal of Control, 2006
• A Tutorial on Uppaal
  2004
• Verified hybrid controllers for automated vehicles
  IEEE Transactions on Automatic Control, 1998
• A theory of timed automata
  Theoretical Computer Science, 1994
• Provably Correct Systems
  Lecture Notes in Computer Science, 1994
• A calculus of durations
  Information Processing Letters, 1991
• Communicating sequential processes
  Communications of the ACM, 1978