TY  - RPRT
TI  - Automata Linear Dynamic Logic on Finite Traces
AU  - Kevin W. Smith
AU  - Moshe Y. Vardi
PY  - 2025
DO  - 10.46298/lmcs-21(3:2)2025
UR  - https://arxiv.org/abs/2108.12003
ID  - 2108.12003
ER  -