Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Crossref DOI link: https://doi.org/10.1007/s40860-020-00123-0
Published Online: 2021-02-12
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bouarfa, Soufiane http://orcid.org/0000-0003-4005-1796
Aydoğan, Reyhan
Sharpanskykh, Alexei
Text and Data Mining valid from 2021-02-12
Version of Record valid from 2021-02-12
Article History
Received: 18 March 2020
Accepted: 28 November 2020
First Online: 12 February 2021