Section: Overall Objectives

Highlights of the Year

The article [6] entitled Probabilistic omega-automata and co-authored by Nathalie Bertrand, together with Christel Baier and Marcus Grösser from TU Dresden, has been published in the Journal of the ACM. This article extends a paper published in 2008 in the proceedings of FoSSaCS, which received the EATCS best paper award, and already had a strong impact in the verification community.