Loading [a11y]/accessibility-menu.js
Provably-correct robot control with LTLMoP, OMPL and ROS | IEEE Conference Publication | IEEE Xplore

Provably-correct robot control with LTLMoP, OMPL and ROS


Abstract:

This video illustrates the Linear Temporal Logic MissiOn Planning (LTLMoP)[1]1 toolkit. LTLMoP is an open source software package that transforms high-level specification...Show More

Abstract:

This video illustrates the Linear Temporal Logic MissiOn Planning (LTLMoP)[1]1 toolkit. LTLMoP is an open source software package that transforms high-level specifications for robot behavior, captured using a structured English grammar, into a robot controller that guarantees the robot will complete its task, if the task is feasible. If the task cannot be guaranteed, LTLMoP provides feedback to the user as to what the problem is.
Date of Conference: 03-07 November 2013
Date Added to IEEE Xplore: 02 January 2014
ISBN Information:

ISSN Information:

Conference Location: Tokyo, Japan

References

References is not available for this document.