Last update: July 15, 2024, 16.50 CEST
Mail to V.Goranko
Date 15/07/2024
Introduction to the course.
Multi-agent transition systems and concurrent game models.
Formal specification of agents' strategic abilities using the alternating-time temporal logic ATL.
Using model checking of ATL formulae for strategy synthesis.
V. Goranko and G. van Drimmelen: Decidability and Complete Axiomatization of the Alternating-time Temporal Logic, Theoretical Computer Science, Vol. 353, 1-3, (2006), pp. 93-117.
V. Goranko and D. Shkatov. Tableau-based decision procedures for logics of strategic ability in multi-agent systems. ACM Transactions of Computational Logic, vol. 11, No.1, 2010
S. Cerrito, A. David and V. Goranko. Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temoral Logic ATL+, ACM Transactions of Computational Logic, Vol. 17 Issue 1, October 2015, Article No. 4.
Date 16/07/2024
Strategic reasoning with incomplete and imperfect information: some variations of ATL.
Modeling and synthesis of memoryless and memory-based strategies.
T. Ågotnes and W. Jamroga, Constructive Knowledge: What Agents Can Achieve under Imperfect Information, Journal of Applied Non-Classical Logics, 17(4), pp. 423-475.
N. Bulling and W. Jamroga, Comparing variants of strategic ability: how uncertainty and memory influence general properties of games, Autonomous Agents and Multi-Agent Systems, 2014, Volume 28, pages 474-518.
Dilian Gurov, Valentin Goranko, Edvin Lundberg: Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature, Artificial Intelligence, Volume 309, August 2022, 103728
Date 17/07/2024
Some extensions of ATL. ATL with strategy contexts.
Temporal logic for coalitional goal assignments. Strategy logic.
François Laroussinie and Nicolas Markey. Augmenting ATL with strategy contexts , Information and Computation, Volume 245, December 2015, Pages 98--123
Sebastian Enqvist and Valentin Goranko. The temporal logic of coalitional goal assignments in concurrent multi-player games , ACM Transactions of Computational Logic, Vol. 23, No. 4, Article 21, 2022.
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. Reasoning about Strategies: on the Satisfiability Problem , Logical Methods in Computer Science Vol. 13(1:9), 2017, pp. 1–37
TBA
Date 18/07/2024
Formal framework and logics for combining quantitative and qualitative objectives in MAS.
Generalized dining philosophers games and formal verification and rational synthesis problems in them.
Applications to dynamic resource allocation.
Nils Bulling and Valentin Goranko. Combining quantitative and qualitative reasoning in concurrent multi-player games , Journal of Autonomous Agents and Multiagent Systems, 2022, 36:2, 1--33.
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, and Nils Timm. Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems in: Proceedings of the 16th European Conference in Multi-agent Systems (EUMAS2018), Springer LNCS vol.11450, 2019, pp. 30-47.
TBA
Date 19/07/2024
Modelling, formal specification, and algorithmic verification of homogeneous dynamic MAS.
Competitive dynamic resource management, modelled as multi-stage Colonel Blotto games.
Conclusion of the course.
Riccardo De Masellis and Valentin Goranko. Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems, Journal of Autonomous Agents and Multiagent Systems , vol. 34 (2), 2020, article 34.
TBA
TBA
TBA
Mail to V.Goranko