(Un)Decidability Bounds of the Synthesis Problem for Petri Games.
Paul HannibalPublished in: GandALF (2023)
Keyphrases
- upper bound
- lower bound
- description logics
- game playing
- computer games
- query answering
- upper and lower bounds
- nash equilibria
- game theory
- payoff functions
- game design
- human computation
- average case
- worst case
- decision procedures
- video games
- texture synthesis
- game theoretic
- vc dimension
- imperfect information
- worst case bounds
- game play
- knowledge base
- educational games
- error bounds
- search algorithm
- optimal solution
- multi agent