Weighted Strategy Logic with Boolean Goals Over One-Counter Games.

Patricia Bouyer Patrick Gardy Nicolas Markey

Published in: FSTTCS (2015)

Keyphrases

weighted majority
multi valued
boolean logic
real valued
boolean functions
video games
search strategy
neural network
winning strategy
mixed strategy
educational games
game playing
game design
leader follower
two player games
classical logic
modal logic
computer games
game theory
multi agent