TY  - RPRT
TI  - Parameterized Infinite-State Reactive Synthesis
AU  - Benedikt Maderbacher
AU  - Roderick Bloem
PY  - 2025
UR  - https://arxiv.org/abs/2508.00613
ID  - 2508.00613
ER  -