Login / Signup

Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.

César A. MuñozVictor CarreñoGilles Dowek
Published in: RODIN Book (2006)
Keyphrases
  • formal analysis
  • formal methods
  • decision making
  • agent model
  • ban logic
  • databases
  • artificial intelligence
  • multi agent systems
  • small number
  • transportation systems
  • air traffic control
  • operational decisions