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
Journal Papers
Petri net based multi-robot task coordination from temporal logic specifications
Bruno Lacerda
|
Pedro Lima
Download PDF
Visit URL
September, 2019
Intelligent Robots and Systems Group (IRSg)