Christel Baier Nathalie Bertrand 0001 Marcus Größer Probabilistic Acceptors for Languages over Infinite Words. 19-33 2009 SOFSEM https://doi.org/10.1007/978-3-540-95891-8_3 conf/sofsem/2009 db/conf/sofsem/sofsem2009.html#BaierBG09