Symbolic computational techniques for solving games

Rajeev Alur, P. Madhusudan, Wonhong Nam. Symbolic computational techniques for solving games. STTT, 7(2):118-128, 2005. [doi]

Abstract

Abstract is missing.