Skip to content
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
Search
Conference Papers
Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)
Bruno Lacerda
|
Pedro Lima
Intelligent Robots and Systems Group (IRSg)
Proc. of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan
January, 2011
Intelligent Robots and Systems Group (IRSg)
