[robotics-worldwide] Deadline Extension - IEEE RAM special issue on Formal Methods for Robotics and Automation

Hadas Kress-Gazit hadaskg at cornell.edu
Fri Dec 24 07:16:26 PST 2010

The Deadline for this special issue has been extended to *January 10, 2011*

Happy new year!

IEEE Robotics and Automation Magazine (RAM) special issue on Formal Methods
for Robotics and Automation


Guaranteeing safety, predictability and reliability of robots and their
high-level behaviors is crucial for the assimilation of such systems into
society, be it at home or in the workplace. Every robotics researcher
working with physical robots is aware of safety issues; however, only
recently people have begun to look at ways to either formally prove or
guarantee by design different behavioral properties such as safety and
While formal methods have been successfully applied to areas such as
hardware design, the unique nature of robotics requires new theoryand
 algorithms for verification and synthesis of correct systems. Researchers
are invited to contribute papers that explore the state of the art in formal
 methods for robotics and automation.

Topics of interest include, but are not limited to:
•    Verification of robotic and automation systems
•    Use of model checking and deductive verification techniques in robotics
•    Correct by design planner/controller synthesis
•    Lessons that can be learned from hardware/software verification and
•    Applications of formal methods to robotic systems

Hadas Kress-Gazit
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592

More information about the robotics-worldwide mailing list