Formal Methods for Robotics

Exploring the Blue Frontier with Cooperative Marine Robots

Prof. Antonio M. Pascoal, Institute for Systems and Robotics (ISR), IST / University of Lisbon

May 8, 12:00 - 12:30

B18 Fellowship Hall

Featured Sessions

Marine Robotics Networked Robots Field Robots Formal Methods for Robotics Telerobotics and Teleoperation

Abstract The last decade has witnessed tremendous progress in the development of marine technologies that are steadily affording scientists advanced equipment and methods for ocean exploration and exploitation. Recent advances in marine robotics, sensors, computers, communications, and information systems are being applied to the development of sophisticated technologies that will lead to safer, faster, and far more efficient ways of exploring the ocean frontier, especially in hazardous conditions. As part of this trend, there has been a surge of interest worldwide in the development of