Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots – Institute For Systems and Robotics

Journal Papers

Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots

Pedro Lima | Bruno Lacerda

Intelligent Robots and Systems Group (IRSg)

Journal of Physical Agents, Vol. 2, No. 1, Special Issue on Multi-Robot Systems

January, 2008