Weighted automata: what is it? And why is it fun to study?

21^st October 2025, 13:00 ELEC201, 2th Floor Lecture Theater EEE
Laure Daviaud
University of East Anglia

Abstract

I will give a general talk on weighted automata, a quantitative extension of automata, used in verification that can model probabilistic systems or cost minimisation for example. I will give an overview of the kind of problems that are studied for them, what we know, recent breakthroughs and what is still out of reach.