Multi-valued Logics, Automata, Simulations, and Games.

Orna Kupferman, Yoad Lustig

Browse the full VMCAI paper archive.