Seminar

Abstract: Moravec’s Paradox observes that AI systems have struggled far more with learning physical actions than symbolic reasoning. Yet just recently, there has been a tremendous increase in the capability of AI-driven robotic systems, reminiscent  of the early improvements in language modeling capabilities a few years ago.  In this talk, we provide mathematical evidence that learning in continuous-control [...]

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 [...]

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 [...]