Talks

Safety and Liveness of Quantitative Properties and Automata
AIT Dependable Systems Engineering Seminar Series (Oct ‘23)

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)