Symbolic vs. Bounded Synthesis for Petri Games.
Bernd FinkbeinerManuel GiesekingJesko Hecking-HarbuschErnst-Rüdiger OlderogPublished in: SYNT@CAV (2017)
Keyphrases
- game theory
- video games
- game design
- game theoretic
- game playing
- neural learning
- nash equilibria
- texture synthesis
- connectionist learning
- data sets
- symbolic data
- program synthesis
- game play
- real valued
- computer games
- decision trees
- artificial intelligence
- serious games
- online game
- nash equilibrium
- board game
- symbolic description