Conference Papers

LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata

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