Advanced 6. Planning with Temporal Logic

MIT 16.412J Cognitive Robotics, Spring 2016
View the complete course: ocw.mit.edu/16-412JS16
Instructor: MIT students
This is the seventh advanced lecture in the MIT 16.412 Cognitive Robotics of Spring 2016, led by MIT students. Students presented the research in linear temporal logic and its application in planning with preferences.
License: Creative Commons BY-NC-SA
More information at ocw.mit.edu/terms
More courses at ocw.mit.edu

[@LetsTutorialYT]

Timestamps:
Overview: 0:25
Introduction to Linear Temporal Logic (LTL): 4:59
Syntax of LTL: 16:00
Expressing LTL in PDDL3: 41:55
LTL to Büchi Automata: 45:50
Planning with Preferences: 1:01:20
Q&A: 1:09:25

[@trejohnson7677]

The MIT lectures with terrible slides are the most prolific, if one meditates on everything they do not communicate.

[@danino-se2zk]

I think there is a mistake in definition of Release operator

[@hendrikd2113]

If you set "allways at some point reach gas station" as a goal, you get "don't drive of a cliff" for free.

[@trejohnson7677]

Preference Oriented Programming. :D

[@magnuswootton6181]

if this thing could look along way in front, it could have very distant motivations.