LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata
Title: | LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of Workshop ADAPT - Agent Design: Advancing from Practice to Theory, AAMAS 2009 - the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary |
Year : | 2009 |
Authors : |
Bruno Lacerda |
Lab : | Intelligent Robots and Systems Group (IRSg) |