TY  - RPRT
TI  - Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
AU  - Philippe Heim
AU  - Rayna Dimitrova
PY  - 2025
UR  - https://arxiv.org/abs/2502.03013
ID  - 2502.03013
ER  -