Natural Strategic Ability in Stochastic Multi-Agent Systems

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann +1

Strategies synthesized using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Sy…