ICRA 2012 Paper Abstract

Close

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 October 19, 2017

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

Abstract

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-2017 PaperCept, Inc.
Page generated 2017-10-19  00:01:59 PST  Terms of use