×

Found 6 Documents (Results 1–6)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software