ICRA 2009
2009 IEEE International Conference on Robotics and Automation
Kobe, Japan, 12-17/5/2009
Formal Methods in Robotics and Automation
Full Day workshop, May 12, 2009
Home
Topics
Speakers
Abstracts and slides
Schedule
Speakers:
Calin Belta -
Boston University, USA
Julia Braman -
California Institute of Technology, USA
Magnus Egerstedt -
Georgia Institute of Technology, USA
Lydia
Kavraki
- Rice University, USA
Eric Klavins
- University of Washington, USA
Hadas Kress-Gazit
- Cornell University, USA
Sayan Mitra
- University of Illinois at Urbana Champaign, USA
George Pappas -
University of Pennsylvania, USA
Claire Tomlin
- Stanford University, UC Berkeley, USA