Partial Order Reduction for Reachability Games.

Frederik M. Bønneland Peter Gjøl Jensen Kim G. Larsen Marco Muñiz Jirí Srba

Published in: CONCUR (2019)

Keyphrases

partial order reduction
model checking
petri net
video games
data sets
game theoretic
computer games
game based learning
nash equilibria
game theory
game playing
state space
game design
learning games
weighted majority
real time
stochastic games
leader follower