1 paper · 1 filter
Shay Allen Logan, Shawn Standefer, Thomas Ferguson
We introduce the logic EDMon---an epistemic dynamic logic meant to model monitorability concepts in noisy runtime verification. Its syntax and semantics are defined and explained a…