Loading [a11y]/accessibility-menu.js
Correct high-level robot control from structured English | IEEE Conference Publication | IEEE Xplore

Correct high-level robot control from structured English


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...Show More

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.
Date of Conference: 14-18 May 2012
Date Added to IEEE Xplore: 28 June 2012
ISBN Information:

ISSN Information:

Conference Location: Saint Paul, MN, USA

References

References is not available for this document.