Solving Air-Traffic Problems with "Possible Worlds".

Marcos Cavalcanti

Published in: Executable Modal and Temporal Logics (1993)

Keyphrases

solving complex
combinatorial optimization
air traffic
solving problems
air traffic management
optimization problems
air traffic control
civil aviation
kalman filter
constraint problems