Multi-valued Model Checking Games.

Sharon Shoham, Orna Grumberg

Browse the full ATVA paper archive.