Layer-Abstraction for Symbolically Solving General Two-Player Games.

Peter Kissmann Stefan Edelkamp

Published in: SOCS (2010)

Keyphrases

special case
two player games
evaluation function
lower bound