Paper at AAAI 2024

The paper entitled “Natural Strategic Ability in Stochastic Multi-Agent Systems” by Raphael Berthon, Monyque Myttelmann, Antoniello Murano and Joost-Pieter Katoen has been accepted for the 38th AAAI Conference on Artificial Intelligence (AAAI 2024) in Vancouver, Canada. The paper present complexity result on the model checking of the probabilistic alternating temporal logics PATL and PATL∗ under natural strategies on probabilistic multi-agent systems.