Computer says no: Verdict explainability for runtime monitors using a local proof system - Francalanza, Adrian; Cini, Clare (Journal of logical and algebraic methods in programming, 2021)
Keywords: Correct monitor synthesis; Explainability; Interpretability; Linear temporal logic; Proof systems; Runtime verification; Proof systems; Interpretability; Explainability; Linear temporal logic; Correct monitor synthesis; Runtime verification