Counterfactual Explanations for MITL Violations
Bernd Finkbeiner; Felix Jahn; Julian Siber
In: Siddharth Barman; Slawomir Lasota (Hrsg.). 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2024), December 16-18, Pages 22:1-22:25, Leibniz International Proceedings in Informatics (LIPIcs), Vol. 323, ISBN 978-3-95977-355-3,…
