Talks

Safety and Liveness of Quantitative Properties and Automata
18th Intl. Conf. on Reachability Problems (RP) (Sep ‘24)
TU Wien CPS Research Unit Seminar Series (Sep ‘24)
16th Alpine Verification Meeting (Sep ‘24)
DEVINE Research Team (Inria and IRISA) Formal Methods Seminar (Jun ‘24)
AIT Dependable Systems Engineering Seminar Series (Oct ‘23)

Advancing the Theory of Quantitative Algorithmic Monitoring
FBK Embedded Systems Seminar Series (Sep ‘22)
IMT Lucca 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)