Bi-Weekly Talk: An Introduction To ω-Automata

Wednesday, 18.04.2018, 10:15am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: Anton Pirogov


My research is concerned with automata-theoretic techniques in probabilistic verification. A central element in this field are ω-automata, for example automata reading infinite words. Such automata are applied with great success in multiple areas and are of special importance in model checking. This introductory talk gives a brief overview over the most important - and some less known - variants of ω-automata, how they relate to each other, to my work and what they can be used for.