Computer says no: verdict explainability for runtime monitors using a local proof system
scientific article; zbMATH DE number 7316068
scientific article