Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
- 25 December 2015
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- DAIDALUS: Detect and avoid alerting logic for unmanned systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2015
- Affine Arithmetic and Applications to Real-Number ProvingPublished by Springer Science and Business Media LLC ,2015
- Software Validation via Model AnimationPublished by Springer Science and Business Media LLC ,2015
- Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s TheoremsJournal of Automated Reasoning, 2015
- A Family of Well-Clear Boundary Models for the Integration of UAS in the NASPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2014
- Automated Real Proving in PVS via MetiTarskiLecture Notes in Computer Science, 2014
- A Formally Verified Generic Branching Algorithm for Global OptimizationLecture Notes in Computer Science, 2014
- A TCAS-II Resolution Advisory Detection AlgorithmPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2013
- Verification of Numerical Programs: From Real Numbers to Floating Point NumbersLecture Notes in Computer Science, 2013
- Formalization of Bernstein Polynomials and Applications to Global OptimizationJournal of Automated Reasoning, 2012