Games for Formal Design and Verification of Reactive Systems.

Rajeev Alur

Browse the full ATVA paper archive.