BloomTech’s Downfall: A Long Time Coming

Safety and Liveness of Robot Behaviors

Safety and Liveness of Robot Behaviors

Stanford Online via YouTube Direct link

Introduction

1 of 15
Next

1 of 15

Introduction

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

Safety and Liveness of Robot Behaviors

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 Robot Failures
  3. 3 Safety and Liveness
  4. 4 Specifications
  5. 5 Properties
  6. 6 Specification
  7. 7 Propositional Logic
  8. 8 Failure cases
  9. 9 Baxter test
  10. 10 How to bridge the mismatch
  11. 11 Writing specifications
  12. 12 Temporal logic
  13. 13 Synthesis of controls
  14. 14 User study
  15. 15 Formal specifications

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.