Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

s of Invited Presentations Fantastic Failures and Where to Find Them: Designing Trustworthy Autonomy Katherine Driggs-Campbell University of Illinois at Urbana-Champaign, USA Abstract. Autonomous robots are becoming tangible technologies that will soon impact the human experience. However, the desirable impacts of autonomy are only achievable if the underlying algorithms are robust to real-world conditions and are effective in (near) failure modes. This is often challenging in practice, as the scenarios in which general robots fail are often difficult to identify and characterize. In this talk, we’ll discuss how to learn from failures to design robust interactive systems and how we can exploit structure in different applications to efficiently find and classify failures. We’ll showcase both our failures and successes on autonomous vehicles and agricultural robots in real-world settings. Autonomous robots are becoming tangible technologies that will soon impact the human experience. However, the desirable impacts of autonomy are only achievable if the underlying algorithms are robust to real-world conditions and are effective in (near) failure modes. This is often challenging in practice, as the scenarios in which general robots fail are often difficult to identify and characterize. In this talk, we’ll discuss how to learn from failures to design robust interactive systems and how we can exploit structure in different applications to efficiently find and classify failures. We’ll showcase both our failures and successes on autonomous vehicles and agricultural robots in real-world settings. The Physical Side of Cyber-Physical Systems