WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts.

Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel

Browse the full ATVA paper archive.