Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.

Philippe Heim, Rayna Dimitrova

Browse the full CAV paper archive.