TY  - RPRT
TI  - Counterfactual Explanations for MITL Violations
AU  - Bernd Finkbeiner
AU  - Felix Jahn
AU  - Julian Siber
PY  - 2025
DO  - 10.4230/lipics.fsttcs.2024.22
UR  - https://arxiv.org/abs/2412.10386
ID  - 2412.10386
ER  -