Login / Signup

Formal modelling and verification of a multi-agent negotiation approach for airline operations control.

Soufiane BouarfaReyhan AydoganAlexei Sharpanskykh
Published in: J. Reliab. Intell. Environ. (2021)
Keyphrases
  • multi agent negotiation
  • formal methods
  • control system
  • data structure
  • robot control
  • control theory
  • databases
  • artificial intelligence
  • information systems
  • decision trees
  • formal specification
  • human operators