Munyque Mittelmann

Strategic Abilities of Forgetful Agents in Stochastic Environments

2023 · arXiv (Cornell University)

In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play …