TY  - RPRT
TI  - Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+
AU  - Christoph Weinhuber
AU  - Maximilian Prokop
AU  - Giuseppe De Giacomo
AU  - Moshe Y. Vardi
PY  - 2026
UR  - https://arxiv.org/abs/2608.02454
ID  - 2608.02454
ER  -