Safe and Optimal Adaptive Cruise Control

This publication has 17 references indexed in Scilit:

• Proof Theory of a Multi-Lane Spatial Logic
  Lecture Notes in Computer Science, 2013
• Proving Safety of Traffic Manoeuvres on Country Roads
  2013
• UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
  Electronic Proceedings in Theoretical Computer Science, 2012
• UPPAAL-Tiga: Time for Playing Games!
  2007
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
  IEEE Transactions on Automatic Control, 2006
• A Calculus for Shapes in Time and Space
  Lecture Notes in Computer Science, 2005
• An approach to the verification of the Center-TRACON automation system
  1998
• Verification of hybrid systems: Monotonicity in the AHS control system
  1996
• A theory of timed automata
  Theoretical Computer Science, 1994
• A calculus of durations
  Information Processing Letters, 1991