6 followers
Our work with my colleagues from the @DIKU_Institut. is published. We defined a data structure enabling us to provide explanations of the decisions taken by our monitoring algorithm. I happily helped in the formal verification of our algorithm's checker. h