Skip to main navigation
Skip to search
Skip to main content
Aalborg University's Research Portal Home
Dansk
English
Home
Profiles
Projects
Publications
Activities
Research units
Facilities
Press/Media
Prizes
Datasets
Impacts
Search by keywords, name or affiliation
Towards Coordination and Control of Multi-robot Systems
Michael Melholt Quottrup
Automation & Control
Department of Electronic Systems
Research output
:
PhD thesis
250
Downloads (Pure)
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Towards Coordination and Control of Multi-robot Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Robot
100%
multiple robot
100%
Timed Automaton
11%
Formal Specification
11%
Timing Constraint
11%
Model Checking
11%
linear time temporal logic
11%
model checker
11%