Mutant Equivalence as Monotonicity in Parametric Timed Games.
Davide BasileMaurice H. ter BeekHendrik GöttmannMalte LochauPublished in: FormaliSE (2023)
Keyphrases
- petri net
- computer games
- game theory
- game tree search
- nash equilibria
- video games
- educational games
- game theoretic
- game design
- game playing
- parametric models
- weighted majority
- game based learning
- search algorithm
- serious games
- differential evolution
- online game
- digital games
- markov chain
- datalog programs
- learning agents
- neural network