TSO Games - On the decidability of safety games under the total store order semantics.

Stephan Spengler Sanchari Sil

Published in: GandALF (2023)

Keyphrases

computer games
video games
nash equilibria
neural network
game theory
serious games
game theoretic
database
data sets
databases
reinforcement learning
learning environment
description logics
game design
digital games
weighted majority