Multi-UAV Mission Coordination using Signal Temporal Logic Specifications
Title: | Multi-UAV Mission Coordination using Signal Temporal Logic Specifications |
---|---|
Kind : | MSc Theses |
Published In: | Master Thesis, Instituto Superior Técnico, Universidade de Lisboa, July |
Year : | 2016 |
Authors : |
Nuno Duarte |
Lab : | Intelligent Robots and Systems Group (IRSg) |
File : | Open File |