Fingerprint
Dive into the research topics of 'Formal modelling and verification of a multi-agent negotiation approach for airline operations control'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Soufiane Bouarfa*, Reyhan Aydoğan, Alexei Sharpanskykh
*Corresponding author for this work
Research output: Contribution to journal › Article › Scientific › peer-review
1
Citation
(Scopus)
48
Downloads
(Pure)