Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture).

Csar A. Muoz

Browse the full ICTAC paper archive.