Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia

First Page		Document Content
Date: 2015-11-24 11:55:34 Avionics Theoretical computer science Aircraft collision avoidance systems Warning systems Traffic collision avoidance system Air traffic control Formal methods Self-separation Unmanned aerial vehicle Formal verification		Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia Add to Reading List Source URL: shemesh.larc.nasa.gov Download Document from Source Website File Size: 127,60 KB Share Document on Facebook

	Policy Compression for Aircraft Collision Avoidance Systems Kyle D. Julian∗ , Jessica Lopez† , Jeffrey S. Brush† , Michael P. Owen‡ and Mykel J. Kochenderfer∗ ∗ Department of Aeronautics and Astronautics, St DocID: 1uPwJ - View Document
	Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov DocID: 1rqeg - View Document
	NASA/TMUnmanned Aircraft Systems Human-in-theLoop Controller and Pilot Acceptability Study: Collision Avoidance, Self-Separation, and Alerting Times (CASSAT) James R. Comstock, Jr., Rania W. Ghatas, Michael DocID: 1rmbN - View Document
	C61no quote:C61qxd DocID: 1qFMt - View Document
	Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia DocID: 1pFT0 - View Document