Statistical Verification of Two Non-linear Real-time UAV Controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pam Binns' in GoogleThis author has not been identified. Look up 'Michael Elgersma' in GoogleThis author has not been identified. Look up 'Subhabrata Ganguli' in GoogleThis author has not been identified. Look up 'Vu Ha' in GoogleThis author has not been identified. Look up 'Tariq Samad' in Google

runs on WebDSL