The Library
Browse by Funders
Up a level |
Jump to: Journal Article | Conference Item
Number of items: 3.
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 ISSN 0304-3975.
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. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.
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. doi:10.1007/978-3-319-60134-2_9 ISSN 0302-9743.