Advanced 6. Planning with Temporal Logic

MIT 16.412J Cognitive Robotics, Spring 2016
View the complete course: https://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 https://ocw.mit.edu/terms
More courses at https://ocw.mit.edu