Solving Games Via Three-Valued Abstraction Refinement.

Luca de Alfaro, Pritam Roy

Browse the full CONCUR paper archive.