Conference Papers

Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)

Proc. of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan