TY  - RPRT
TI  - Deciding the Common Fragment of CTL with Past and LTL
AU  - Massimo Benerecetti
AU  - Dario Della Monica
AU  - Angelo Matteo
AU  - Fabio Mogavero
AU  - Gabriele Puppis
PY  - 2026
UR  - https://arxiv.org/abs/2606.30405
ID  - 2606.30405
ER  -