Скачать или смотреть Hadas Kress-Gazit - What's the Deal with Temporal Logics?

Title: What's the Deal with Temporal Logics?

Abstract:
In this talk, I will discuss the pros and cons of using different temporal logics as formal task specifications for robotics. Specifically, I will describe what these formalisms can capture (goals, safety, constraints), what we need to assume (abstraction, grounding), and how we can use them to create provably-correct robot behaviors.

Bio:
Hadas Kress-Gazit is a Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. She received her Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania in 2008 and has been at Cornell since 2009. Her research focuses on formal methods for robotics and automation and more specifically on synthesis for robotics – automatically creating verifiable robot controllers for complex high-level tasks. Her group explores different types of robotic systems including modular robots, soft robots and swarms and synthesizes (pun intended) ideas from different communities such as robotics, formal methods, control, hybrid systems and computational linguistics. She is an IEEE fellow and has received multiple awards for her research, teaching and advocacy for groups traditionally underrepresented in STEM. She lives in Ithaca with her partner and two kids.