A Particle System for Safety Verification of Free Flight in Air Traffic.

Henk A. P. Blom Jaroslav Krystul G. J. Bakker

Published in: CDC (2006)

Keyphrases

air traffic
free flight
civil aviation
air traffic control
air traffic management
model checking
information fusion
rigid body