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