Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak. Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 208-217, EasyChair, 2018. [doi]
@inproceedings{HeidlaufCBB18,
title = {Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers},
author = {Peter Heidlauf and Alexander Collins and Michael Bolender and Stanley Bak},
year = {2018},
url = {http://www.easychair.org/publications/paper/W7Ck},
researchr = {https://researchr.org/publication/HeidlaufCBB18},
cites = {0},
citedby = {0},
pages = {208-217},
booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
editor = {Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Taylor T. Johnson},
volume = {54},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}