Advanced Search   
  Look in
       Title     Description
  Include
       Inactive Projects
 

 
Autonomous Vehicle Safety Verification
Mailing address:
Carnegie Mellon University
Robotics Institute
5000 Forbes Ave
Pittsburgh, PA 15213
Publications
  • Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models

    Matthias Althoff and John M. Dolan
    Proceedings of the American Control Conference , June, 2012.
    Details | pdf (1MB) | Copyrighted

  • Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles

    Matthias Althoff and John M. Dolan
    Proceedings of the IEEE Intelligent Transportation Systems Conference (ITSC), October, 2011, pp. 1162-1167.
    Details | pdf (2MB) | Copyrighted