Now showing items 1601-1602 of 1602
Synthesizing & Guaranteeing Robot Behaviors
(Georgia Institute of Technology, 2022-03-09)
In this talk I will describe how formal methods such as synthesis – automatically creating a system from a formal specification – can be leveraged to design robots, guarantee their behavior, and provide feedback about ...
Field Robotics and Automation at GeorgiaTech Lorraine: An overview
(Georgia Institute of Technology, 2022-03-30)