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

This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations...