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)