Combining quantitative and qualitative reasoning in concurrent multi-player games

Nils Bulling, Valentin Goranko. Combining quantitative and qualitative reasoning in concurrent multi-player games. Autonomous Agents and Multi-Agent Systems, 36(1):2, 2022. [doi]

Abstract

Abstract is missing.