Temporal Logic-Based Intent Monitoring for Mobile Robots
Hansol Yoon,Sriram Sankaranarayanan,Hansol Yoon,Sriram Sankaranarayanan
We propose a framework that uses temporal logic specifications to predict and monitor the intent of a robotic agent through passive observations of its actions over time. Our approach uses a set of possible hypothesized intents specified as Büchi automata, obtained from translating temporal logic formulae. Based on observing the actions of the robot, we update the probabilities of each hypothesis ...
