MSc Theses

Multi-UAV Mission Coordination using Signal Temporal Logic Specifications

Master Thesis, Instituto Superior Técnico, Universidade de Lisboa, July