Formal modelling and verification of a multi-agent negotiation approach for airline operations control
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2199-4676
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Formal modelling and verification of a multi-agent negotiation approach for airline operations control ; day:12 ; month:2 ; year:2021 ; pages:1-20
Journal of reliable intelligent environments ; (12.2.2021), 1-20
- Creator
-
Bouarfa, Soufiane
Aydoğan, Reyhan
Sharpanskykh, Alexei
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s40860-020-00123-0
- URN
-
urn:nbn:de:101:1-2021040308255807065895
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:02 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bouarfa, Soufiane
- Aydoğan, Reyhan
- Sharpanskykh, Alexei
- SpringerLink (Online service)
Other Objects (12)
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling and verification of reconfigurable multi-agent systems
Commitment-based negotiation semantics for accountability in multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Flexibility oriented coordination of operations : a multi-agent approach
Belief change operations under confidentiality requirements in multiagent systems
Socio-technical modeling and simulation of airline operations control
Decentralized multi-agent path finding framework and strategies based on automated negotiation
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Resource-constrained airline ground operations : optimizing schedule recovery under uncertainty
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling and verification of reconfigurable multi-agent systems
Commitment-based negotiation semantics for accountability in multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Flexibility oriented coordination of operations : a multi-agent approach
Belief change operations under confidentiality requirements in multiagent systems
Socio-technical modeling and simulation of airline operations control
Decentralized multi-agent path finding framework and strategies based on automated negotiation
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Resource-constrained airline ground operations : optimizing schedule recovery under uncertainty
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling and verification of reconfigurable multi-agent systems
Commitment-based negotiation semantics for accountability in multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Flexibility oriented coordination of operations : a multi-agent approach
Belief change operations under confidentiality requirements in multiagent systems
Socio-technical modeling and simulation of airline operations control
Decentralized multi-agent path finding framework and strategies based on automated negotiation
Logic-based specification and verification of homogeneous dynamic multi-agent systems