Talks
Advancing the Theory of Quantitative Algorithmic Monitoring
FBK Embedded Systems Seminar Series (Sep ‘22)
It-Matters Seminar Series (Apr ‘22)
Quantitative and Approximate Monitoring
ISTA & TU Wien FORSYTE Joint Seminar Series (Jun ‘21)
Monitorability Under Assumptions
ISTA & TU Wien FORSYTE Joint Seminar Series (Dec ‘20)