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 MoreMetadata
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: