Journal Article

Fijalkow, Nathanael (2017) Profinite techniques for probabilistic automata and the Markov Monoid algorithm. Theoretical Computer Science, 680 . pp. 1-14. doi:10.1016/j.tcs.2017.04.006

Conference Item

Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2017.105

Fijalkow, Nathanael, Gimbert, Hugo, Kelmendi, Edon and Kuperberg, Denis (2017) Stamina : stabilisation nonoids in automata theory. In: 22nd International Conference Implementation and Application of Automata, 27-30 Jun 2017, Université Paris-Est Marne-la-Vallée. Published in: Implementation and Application of Automata ISBN 9783319601335. ISSN 0302-9743. doi:10.1007/978-3-319-60134-2_9