Complete Game Logic with Sabotage.

Noah Abou El Wafa André Platzer

Published in: LICS (2024)

Keyphrases

winning strategy
game playing
game theory
logic programming
educational games
data sets
virtual world
computer games
nash equilibrium
game play
game design
multi valued
logical framework
digital circuits
perfect information
asynchronous circuits