Three-Valued Abstractions of Games: Uncertainty, but with Precision.

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan

Browse the full LICS paper archive.