4 papers
The Complexity of Verifying Strategic Abilities in Succinct Multiagent Systems
Yifan He, Munyque Mittelmann, Aniello Murano +1
This paper studies the complexity of model checking strategic abilities in multiagent systems under imperfect information, in particular systems represented succinctly. Such a repr…
An ASP-based approach to Solving General Stochastic Two-Player Games
Yifan He, Michael Thielscher
The Game Description Language (GDL) is a widely used formalism for specifying general games. Due to their similar syntax and semantics, Answer Set Programming (ASP) and its extensi…
An Agentic Approach to Generating XAI-Narratives
Yifan He, David Martens
Explainable AI (XAI) research has experienced substantial growth in recent years. Existing XAI methods, however, have been criticized for being technical and expert-oriented, motiv…
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…