Page - 386 - in Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments

and automated verification. Using TTL Checker, a set of formalised TTL properties was verified on the model simulation traces, which were required to hold for the operational scenario under consideration. In the future work, the identified policies will be applied and evaluated in other operational scenarios, including ones with cascading disturbances. Furthermore, the properties of the policies and the associated coordination protocols will be analysed more extensively for their efficiency and robustness. Based on the obtained preliminary results, we can conclude that the proposed approach could be a promising way forward for modelling, designing, and analysing collaborative decision-making mechanisms for handling disruptions by socio-technical teams in the air transportation system. As a future work, we are planning to consider more sophisticated decision models such as “Markov decision process”. Agents can learn what to vote (accept/reject) based on their previous experience and feedback given by the framework. References 1. Castro, A. J. M. (2013). A Distributed Approach to Integrated and Dynamic Disruption Management in Airline Operations Control. PhD thesis, University of Porto. 2. Aydoğan, R., Festen, D., Hindriks, K. V., & Jonker, C. M. (2017). Alternating offers protocols for multilateral negotiation. In Modern Approaches to Agent-based Complex Automated Negotiation, pp. 153-167. Springer, Cham. 3. Klein, M., Faratin, P., Sayama, H. , and Bar-Yam, Y. (2003). Protocols for negotiating complex contracts. IEEE Intelligent Systems. Vol. 18, No. 6, pp. 32-38. 4. Aydoğan, R., Hindriks, K. V., & Jonker, C. M. (2014). Multilateral mediated negotiation protocols with feedback. In Novel Insights in Agent-based Complex Automated Negotiation (pp. 43-59). Springer, Tokyo. 5. Sanchez-Anguix, V., Aydoğan, R., Julian, V., & Jonker, C. M. (2014). Unanimously acceptable agreements for negotiation teams in unpredictable domains. Electronic Commerce Research and Applications, 13(4), 243-265. 6. Bruce, P. J. (2011-a). Understanding Decision-Making Processes in Airline Operations Control, Ashgate Publishing Company, Farnham, UK. 7. Bruce, P. J. (2011-a). Understanding Decision-Making Processes in Airline Operations Control, Ashgate Publishing Company, Farnham, UK. 8. Treur, J. (2016). Dynamic modeling based on a temporal-causal network modeling approach. Biol.Inspired Cogn. Archit.16, 131–168 9. Bouarfa, S., Blom, H.A.P., Curran, R. (2016). Agent-Based Modelling and Simulation of Coordination by Airline Operations Control. IEEE Transactions on Emerging Topics in Computing, Volume:PP, Issue:99, February.DOI 10.1109/TETC.2015.2439633. 10. Bruce, P. J. (2011-b, January). Decision-making in airline operations: the importance of identifying decision considerations. Internal Journal of Aviation Management. Vol. 1, Nos. 1/2. pp 89-104. Available: http://inderscience.metapress.com/content/m34750h347u85401/ 11. Machado, N. (2010). Impact of the Organizational Structure on Operations Management. Msc thesis, University of Porto. 12. LEADSTO software (2019). Available for download at: http://www.cs.vu.nl/~wai/TTL/ 13. Bosse, T. Jonker, C. M. van der Meij, L. Treur, J. (2007, June). A language and environment for analysis of dynamics by simulation. International Journal on Artificial Intelligence Tools. Vol. 16, issue 03, pp. 435-464. Available http://www.worldscientific.com/doi/abs/10.1142/S0218213007003357 14. van den Broek, E.L., Jonker, C. M., Sharpanskykh, A., Treur, J., Yolum, P., 2006. Formal modelling and analysis of organizations,” in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, volume 3913, O. Boissier, J. Padget, V. Dignum, G. Lindermann, E. Matson, S. Ossowski, J. S. Sichman, J. V. Salceda, Eds. Springer Berlin Heidelberg, pp18-34. 15. Bosse, T., Jonker, C. M., Treur, J., 2007b. On the use of organisation modelling techniques to address biological organisation. Multi-agent and Grid Systems. Vol. 3, Nr. 2, pp 199-223, June. S.Bouarfaetal. /AMulti-AgentNegotiationApproach forAirlineOperationControl386