Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
- 1 January 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Provably Safe Coordinated Strategy for Distributed Conflict ResolutionPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2005
- A review of conflict detection and resolution modeling methodsIEEE Transactions on Intelligent Transportation Systems, 2000
- A geometric optimization approach to aircraft conflict resolutionPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2000
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992