Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.

Andr Luiz Galdino, Csar A. Muoz, Mauricio Ayala-Rincn

Browse the full WoLLIC paper archive.