Login / Signup
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.
Rupak Majumdar
Kaushik Mallik
Mateusz Rychlicki
Anne-Kathrin Schmuck
Sadegh Soudjani
Published in:
CAV (3) (2023)
Keyphrases
</>
video games
lightweight
monte carlo
symbolic description
imperfect information
stochastic model
symbolic representation
state transition
game playing
monte carlo tree search
game tree search
learning automata
nash equilibria
neural network
game design
educational games
game theory
cooperative
high level
learning algorithm