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]
No references recorded for this publication.
No citations of this publication recorded.