TY  - RPRT
TI  - Reactive Synthesis for DECLARE via symbolic automata
AU  - Luca Geatti
AU  - Marco Montali
AU  - Andrey Rivkin
PY  - 2022
UR  - https://arxiv.org/abs/2212.10875
ID  - 2212.10875
ER  -