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)