Browsing Computer Science by Subject "Workflow modelling"
Now showing items 1-1 of 1
-
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
(Springer, 2021-02-12)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 ...
Share this page