TY  - RPRT
TI  - A Direct Translation from LTL with Past to Deterministic Rabin Automata
AU  - Shaun Azzopardi
AU  - David Lidell
AU  - Nir Piterman
PY  - 2024
DO  - 10.4230/lipics.mfcs.2024.13
UR  - https://arxiv.org/abs/2405.01178
ID  - 2405.01178
ER  -