RI Homepage Carnegie Mellon Homepage RI Homepage

The Robotics Institute

Carnegie Mellon Robotics Institute

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

    		•

    The Robotics Institute is part of the School of Computer Science, Carnegie Mellon University.
    Contact Us | Update Instructions