Matt Webster, Neil Cameron, Michael Jump, Michael Fisher. Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. In Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012. 2012. [doi]
@inproceedings{WebsterCJF12,
title = {Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation},
author = {Matt Webster and Neil Cameron and Michael Jump and Michael Fisher},
year = {2012},
doi = {10.2514/6.2012-2573},
url = {https://doi.org/10.2514/6.2012-2573},
researchr = {https://researchr.org/publication/WebsterCJF12},
cites = {0},
citedby = {0},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012},
isbn = {978-1-60086-939-6},
}