The Robotics Institute
 Search the site
RI | Research | Projects | Formal Verification of Autonomous Systems

Text only version of this site

[Project image] Formal Verification of Autonomous Systems
Head: Reid Simmons
Contact: Reid Simmons (reids@cs.cmu.edu)

Mailing address:
Carnegie Mellon University
Robotics Institute
5000 Forbes Avenue
Pittsburgh, PA 15213


Associated lab/group: Robot Learning Lab

For more information, see this project's homepage.

This page last updated - January 1999.
Jump to: Project Description | Personnel

Project Description

This project, a collaborative effort between the School of Computer Science at Carnegie Mellon University and the Automated Software Engineering Group at NASA Ames Research Center, is developing tools and techniques to support formal verification of autonomous systems. The goal is to make formal verification, and model checking in particular, easy enough to use, and powerful enough, so that it can be employed as a regular part of developing autonomous system. The hope is that by verifying early in the development cycle, subsequent testing and debugging can be significantly reduced, leading to autonomous systems that are more reliable and easier to develop.

Personnel

Name Title Email Address
Reid's personal homepage Reid Simmons Research Prof/Assoc Dir Educ/PhD Chair, RI/CS reids@cs.cmu.edu

The Robotics Institute is part of the School of Computer Science, Carnegie Mellon University.
For updates and comments, please see these instructions.
This page maintained by robotwebmaster@ri.cmu.edu