Countdown games, and simulation on (succinct) one-counter nets.

Petr Jancar Petr Osicka Zdenek Sawa

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

mathematical model
neural network
simulation model
simulation environment
knowledge base
case study
game theory
computer games
numerical simulations
video games
mathematical models
game play
game playing
game theoretic
simulation models