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
URL:
https://doi.org/10.1016/j.robot.2019.103289
Intelligent Robots and Systems Group (IRSg)
Robotics and Autonomous Systems, Vol. 122, 103289
September, 2019