McNaughton Games and Extracting Strategies for Concurrent Programs.

Anil Nerode Jeffrey B. Remmel Alexander Yakhnis

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

concurrent programs
mixed strategy
game theory
computer games
repeated games
two player games
video games
game playing
nash equilibria
process algebra