TY  - RPRT
TI  - Counterfactuals Modulo Temporal Logics
AU  - Bernd Finkbeiner
AU  - Julian Siber
PY  - 2023
DO  - 10.29007/qtw7
UR  - https://arxiv.org/abs/2306.08916
ID  - 2306.08916
ER  -