Skip to content

Statistical Verification for Complex Controllers with Applications to Unmanned Aircraft.

Tariq Samad

VenueCACC
Year2007
ProceedingsACC

Browse the full ACC paper archive.