Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan. Three-Valued Abstractions of Games: Uncertainty, but with Precision. In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings. pages 170-179, IEEE Computer Society, 2004. [doi]
Abstract is missing.