Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots
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) |