Login / Signup
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.
Ricky W. Butler
Jeffrey Maddalon
Alfons Geser
César A. Muñoz
Published in:
WSC (2003)
Keyphrases
</>
formal analysis
conflict resolution
management system
air traffic
free flight
air traffic control
agent model
formal methods
resolve conflicts
resolving conflicts
access control policies
collaborative design
extended logic programs
ban logic
civil aviation
artificial intelligence
low cost