TY  - RPRT
TI  - Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
AU  - Andoni Rodríguez
AU  - Felipe Gorostiaga
AU  - César Sánchez
PY  - 2024
UR  - https://arxiv.org/abs/2407.09348
ID  - 2407.09348
ER  -