CDC
2008
IEEE
14 years 6 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...