Black Friday 2024: 25+ Ways to Save on Online Learning

Safety and Liveness of Robot Behaviors

Safety and Liveness of Robot Behaviors

Stanford Online via YouTube Direct link

How to bridge the mismatch

10 of 15
Previous
Next

10 of 15

How to bridge the mismatch

Class Central Classrooms beta

YouTube videos 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.