YoVDO

Safety and Liveness of Robot Behaviors

Offered By: Stanford University via YouTube

Tags

Formal Methods Courses Robotics Courses Propositional Logic Courses Temporal Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a Stanford seminar on the safety and liveness of robot behaviors presented by Professor Hadas Kress-Gazit from Princeton's Sibley School of Mechanical and Aerospace Engineering. Delve into the application of formal methods, particularly synthesis, in designing robots, guaranteeing their behavior, and identifying potential issues. Examine the advantages and challenges of crafting formal specifications that encompass both safety and liveness properties. Discover real-world examples of various robotic systems, including multi-robot setups and human-robot interactions. Gain insights into topics such as robot failures, propositional logic, temporal logic, and the synthesis of controls. Access recommended readings for a deeper understanding of formalizing human-robot interaction and learn about Stanford's Robotics and Autonomous Systems Graduate Certificate program.

Syllabus

Introduction
Robot Failures
Safety and Liveness
Specifications
Properties
Specification
Propositional Logic
Failure cases
Baxter test
How to bridge the mismatch
Writing specifications
Temporal logic
Synthesis of controls
User study
Formal specifications


Taught by

Stanford Online

Tags

Related Courses

Razonamiento artificial
Universidad Nacional Autónoma de México via Coursera
Embedded Systems - Design Verification and Test
NPTEL via YouTube
Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II
Simons Institute via YouTube
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube
Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube