Metric Interval Temporal Logic

Counterfactual Explanations for MITL Violations
MITL is a temporal logic that facilitates the verification of real-time systems by expressing the critical timing constraints placed on …
@inproceedings{finkbeinerCounterfactualExplanationsForMITL2024,
 author = {Bernd Finkbeiner and Felix Jahn and Julian Siber},
 booktitle = {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},
 doi = {10.4230/LIPIcs.FSTTCS.2024.22},
 editor = {Siddharth Barman and Slawomir Lasota},
 isbn = {978-3-95977-355-3},
 month = {12},
 pages = {22:1-22:25},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany},
 series = {Leibniz International Proceedings in Informatics, LIPIcs},
 title = {Counterfactual Explanations for MITL Violations},
 volume = {323},
 year = {2024}
}
DOI