Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad. Statistical Verification of Two Non-linear Real-time UAV Controllers. In 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada. pages 341-351, IEEE Computer Society, 2004. [doi]
@inproceedings{BinnsEGHS04,
title = {Statistical Verification of Two Non-linear Real-time UAV Controllers},
author = {Pam Binns and Michael Elgersma and Subhabrata Ganguli and Vu Ha and Tariq Samad},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/rtas/2004/2148/00/21480341abs.htm},
researchr = {https://researchr.org/publication/BinnsEGHS04},
cites = {0},
citedby = {0},
pages = {341-351},
booktitle = {10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-2148-7},
}