TY  - RPRT
TI  - New Translations From LTL with Past to LDBA and DPA
AU  - David Lidell
AU  - Nir Piterman
PY  - 2026
DO  - 10.4204/eptcs.454.10
UR  - https://arxiv.org/abs/2610.15479
ID  - 2610.15479
ER  -