TY  - RPRT
TI  - Efficient Reactive Synthesis Using Mode Decomposition
AU  - Matías Brizzio
AU  - César Sánchez
PY  - 2023
DO  - 10.1007/978-3-031-47963-2_16
UR  - https://arxiv.org/abs/2312.08717
ID  - 2312.08717
ER  -