Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David The big-O problem. (English) Zbl 07566053 Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Chistikov} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022; Zbl 07566053) Full Text: arXiv Link
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa Trace refinement in labelled Markov decision processes. (English) Zbl 1475.68204 Log. Methods Comput. Sci. 16, No. 2, Paper No. 10, 28 p. (2020). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{N. Fijalkow} et al., Log. Methods Comput. Sci. 16, No. 2, Paper No. 10, 28 p. (2020; Zbl 1475.68204) Full Text: arXiv Link
Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa On the complexity of value iteration. (English) Zbl 07561595 Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 102, 15 p. (2019). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{N. Balaji} et al., LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 102, 15 p. (2019; Zbl 07561595) Full Text: DOI arXiv
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa Trace refinement in labelled Markov decision processes. (English) Zbl 1475.68203 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 303-318 (2016). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{N. Fijalkow} et al., Lect. Notes Comput. Sci. 9634, 303--318 (2016; Zbl 1475.68203) Full Text: DOI arXiv
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín Efficient analysis of probabilistic programs with an unbounded counter. (English) Zbl 1321.68186 J. ACM 61, No. 6, Article No. 41, 35 p. (2014). MSC: 68N30 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., J. ACM 61, No. 6, Article No. 41, 35 p. (2014; Zbl 1321.68186) Full Text: DOI arXiv