@misc{indiciaedf61f91e285c, title = {Counterfactual Explanations for MITL Violations}, author = {Bernd Finkbeiner and Felix Jahn and Julian Siber}, year = {2025}, doi = {10.4230/lipics.fsttcs.2024.22}, url = {https://arxiv.org/abs/2412.10386}, note = {Source identifier: 2412.10386} }