This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction

Keyphrases

• Automata 33%
• Boolean 33%
• Complex Motion 33%
• Linear Temporal Logic 33%
• Minimum Distance 33%
• Motion Planning 33%
• Office Environment 33%
• Partial Satisfaction 100%
• Planners 100%
• Planning Framework 33%
• Product Graph 33%
• Robot Trajectory 66%
• Robotic System 33%
• Robotics 33%
• Satisfaction Conditions 33%
• Satisfaction Value 33%
• Task Planning 33%
• Temporal Logic 33%
• Temporal Logic Planning 100%
• Temporal Logic Specification 33%
• Weighted Automata 33%

Computer Science

• Automaton 25%
• Limiting Factor 25%
• Linear Temporal Logic 25%
• Motion Planning 25%
• Office Environment 25%
• Quantitative Approach 100%
• Robot 100%
• Satisfaction Condition 25%
• Temporal Logic 100%
• Weighted Automaton 25%

Engineering

• Limiting Factor 25%
• Quantitative Approach 100%
• Robot 100%
• Robotic System 25%