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)