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
MSc Theses
Multi-UAV Mission Coordination using Signal Temporal Logic Specifications
Nuno Duarte
Intelligent Robots and Systems Group (IRSg)
Master Thesis, Instituto Superior Técnico, Universidade de Lisboa, July
June, 2016
Intelligent Robots and Systems Group (IRSg)
