My presentation of the paper "Open-World Mission Specification for Reactive Robotics" in the "Formal Methods I" session of the 2014 International Conference on Robotics and Automation, Hong Kong, China. (The 3 embedded videos won't play on Slideshare.)