Synthesis for Multi-weighted Games with Branching-Time Winning Conditions.

Isabella Kaufmann Kim Guldstrand Larsen Jirí Srba

Published in: Petri Nets (2020)

Keyphrases

weighted majority
game playing
sufficient conditions
video games
data sets
model checking
temporal logic
nash equilibrium
program synthesis
genetic algorithm
temporal reasoning
educational games
texture synthesis
game theoretic
game tree search