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) |