Haase, Christoph; Kiefer, Stefan The odds of staying on budget. (English) Zbl 1440.68119 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 234-246 (2015). MSC: 68Q25 60J20 68Q17 68Q87 90C40 PDFBibTeX XMLCite \textit{C. Haase} and \textit{S. Kiefer}, Lect. Notes Comput. Sci. 9135, 234--246 (2015; Zbl 1440.68119) Full Text: DOI arXiv
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana Runtime analysis of probabilistic programs with unbounded recursion. (English) Zbl 1410.68083 J. Comput. Syst. Sci. 81, No. 1, 288-310 (2015). MSC: 68N30 68N19 68Q17 68Q10 68Q25 68Q45 68Q87 03D05 PDFBibTeX XMLCite \textit{T. Brázdil} et al., J. Comput. Syst. Sci. 81, No. 1, 288--310 (2015; Zbl 1410.68083) Full Text: DOI
Chen, Taolue; Kiefer, Stefan On the total variation distance of labelled Markov chains. (English) Zbl 1395.68202 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 33, 10 p. (2014). MSC: 68Q87 60J10 68Q17 68W40 PDFBibTeX XMLCite \textit{T. Chen} and \textit{S. Kiefer}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 33, 10 p. (2014; Zbl 1395.68202) Full Text: DOI arXiv
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James Bisimilarity of probabilistic pushdown automata. (English) Zbl 1354.68152 D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 448-460 (2012). MSC: 68Q45 68Q17 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 18, 448--460 (2012; Zbl 1354.68152) Full Text: DOI arXiv
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová Runtime analysis of probabilistic programs with unbounded recursion. (English) Zbl 1242.68064 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 319-331 (2011). Reviewer: Kim Solin (Uppsala) MSC: 68N30 68N19 68Q17 68Q10 68Q25 68Q45 68Q87 03D05 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 6756, 319--331 (2011; Zbl 1242.68064) Full Text: DOI arXiv
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan Computing least fixed points of probabilistic systems of polynomials. (English) Zbl 1230.65022 Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 359-370, electronic only (2010). MSC: 65D15 65H10 68Q87 65Y20 PDFBibTeX XMLCite \textit{J. Esparza} et al., LIPIcs -- Leibniz Int. Proc. Inform. 5, 359--370 (2010; Zbl 1230.65022) Full Text: DOI Link