On Decision Problems for Probabilistic Bchi Automata.

Christel Baier, Nathalie Bertrand, Marcus Grer

Browse the full FOSSACS paper archive.