TY  - RPRT
TI  - Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
AU  - Daniel Hausmann
AU  - Shufang Zhu
AU  - Gianmarco Parretti
AU  - Christoph Weinhuber
AU  - Giuseppe De Giacomo
AU  - Nir Piterman
PY  - 2025
UR  - https://arxiv.org/abs/2508.14725
ID  - 2508.14725
ER  -