TY  - RPRT
TI  - Symbolic Synthesis for LTLf+ Obligations
AU  - Giuseppe De Giacomo
AU  - Christian Hagemeier
AU  - Daniel Hausmann
AU  - Nir Piterman
PY  - 2026
UR  - https://arxiv.org/abs/2604.18532
ID  - 2604.18532
ER  -