Sebastián Betancourt: Monitoring under uncertainty with DisTL


Event Details


We have been investigating monitoring with STARK for more than a year now. Following our first publication on the topic, I would like to take a step back and present our work from a high-level perspective. I will provide some intuition behind DisTL and its quantitative semantics, introduce the monitors we have developed and their main properties, and discuss what this monitoring setting enables us to do.