ICRA 2012 Paper Abstract


Paper WeD09.11

Jing, Gangyuan (Cornell University), Finucane, Cameron (Cornell University), Raman, Vasumathi (Cornell University), Kress-Gazit, Hadas (Cornell University)

Correct High-Level Robot Control from Structured English

Scheduled for presentation during the Video Session "Video Session" (WeD09), Wednesday, May 16, 2012, 17:20−17:25, Meeting Room 9 (Sa)

2012 IEEE International Conference on Robotics and Automation, May 14-18, 2012, RiverCentre, Saint Paul, Minnesota, USA

This information is tentative and subject to change. Compiled on June 20, 2018

Keywords Reactive and Sensor-Based Planning, Formal Methods for Robotics and Automation, Robotic Software, Middleware and Programming Environments


The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed to generate a controller that guarantees a robot satisfies a task specification written by the user in structured English. The controller can be implemented on either a simulated or physical robot. This video illustrates the use of LTLMoP to generate a correct-by-construction robot controller. Here, an Aldebaran Nao humanoid robot carries out tasks as a worker in a simplified grocery store scenario.



Technical Content © IEEE Robotics & Automation Society

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2018 PaperCept, Inc.
Page generated 2018-06-20  23:47:53 PST  Terms of use