TY  - RPRT
TI  - The Temporal Logic Synthesis Format TLSF v1.2
AU  - Swen Jacobs
AU  - Guillermo A. Perez
AU  - Philipp Schlehuber-Caissier
PY  - 2026
UR  - https://arxiv.org/abs/2303.03839
ID  - 2303.03839
ER  -