Journal Papers

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

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