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]
Abstract is missing.