Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)
Title: | Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract) |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan |
Year : | 2011 |
Authors : |
Bruno Lacerda Pedro Manuel Urbano de Almeida Lima |
Lab : | Intelligent Robots and Systems Group (IRSg) |