RI Seminar

Abstract: The classical approach to AI designed systems that were rational at run-time: they had explicit representations of beliefs, goals, and plans and ran inference algorithms, online, to select actions. The rational approach was criticized (by the behaviorists) and modified (by the probabilists) but persisted in some form. More recently, relatively unstructured data-driven end-to-end approaches [...]

Abstract: How can we build robots that meaningfully assist people with mobility limitations in their daily lives? To support complex caregiving tasks such as robot-assisted feeding, bathing, transferring, and meal preparation, robots must physically interact with people and objects in dynamic, unstructured environments while maintaining safety. In this talk, I will present an overview of [...]

Abstract: Formal methods - mathematical techniques for describing systems, capturing requirements, and providing guarantees - have been used to synthesize robot control from high-level specification, and to verify robot behavior. Given the recent advances in robot learning and data-driven models, what role can, and should, formal methods play in advancing robotics? In this talk I [...]