Games for formal design and verification of reactive systems.

Rajeev Alur

Browse the full MEMOCODE paper archive.