Statistical Verification of Two Non-linear Real-time UAV Controllers.
Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad
VenueARTAS
Year2004
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/BinnsEGHS04 ↗
Browse the full RTAS paper archive.