Title: Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots
Kind : Journal Papers
Published In: Journal of Physical Agents, Vol. 2, No. 1, Special Issue on Multi-Robot Systems
Year : 2008
Authors : Bruno Lacerda
Lab : Intelligent Robots and Systems Group (IRSg)