Formal Veriﬁcation of an Optimal Air Traﬃc Conﬂict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1

First Page		Document Content
Date: 2012-07-11 14:20:08		Formal Veriﬁcation of an Optimal Air Traﬃc Conﬂict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1 Add to Reading List Source URL: shemesh.larc.nasa.gov Download Document from Source Website File Size: 242,87 KB Share Document on Facebook