The Library
Browse by Warwick Author
Up a level |
Number of items: 5.
2021
Casares, Antonio, Colcombet, Thomas and Fijalkow, Nathanael (2021) Optimal transformations of games and automata 2 using Muller conditions. In: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Virtual, 12β16 Jul 2021. Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 198 23:1-23:23. ISBN 9783959771955. doi:10.4230/LIPIcs.ICALP.2021.123 ISSN 1868-8969.
2019
CzerwiΕski, Wojciech, Daviaud, Laure, Fijalkow, Nathanael, Jurdzinski, Marcin, Lazic, Ranko and Parys, Pawel (2019) Universal trees grow inside separating automata : quasi-polynomial lower bounds for parity games. In: ACM-SIAM Symposium on Discrete Algorithms (SODA 2019), California, 6-9 Jan 2019. Published in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms pp. 2333-2349. ISBN 9781611975482. doi:10.1137/1.9781611975482.142
2017
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.
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.
This list was generated on Thu Mar 28 15:25:10 2024 GMT.