|Current Projects, Grouped by Subject|
|Formal Verification of Autonomous Systems
We are developing tools and techniques to support formal verification of autonomous systems.
|Google Lunar X Prize
We are part of a $30 million international competition to safely land a robot on the surface of the Moon, travel 500 meters over the lunar surface, and send images and data back to the Earth.
|Inter-Process Communication Package (IPC)
We are developing a high-level support package for connecting and sending data among processes using TCP / IP sockets.
|Life in the Atacama
Robotic field investigation will bring new scientific understanding of the Atacama as a habitat for life with distinct analogies to Mars.
|Lunar Ice Discovery Initiative (Icebreaker)
Icebreaker is a proposed mission to explore the south pole of the Moon.
|Very Rough Terrain Nonholonomic Trajectory Generation and Motion Planning for Rovers
We are developing rough terrain trajectory generation algorithms for local path planning and optimal regional motion planning methods using a constrained search space.
|The Robotics Institute is part of the School of Computer Science, Carnegie Mellon University.|
Contact Us | Update Instructions