×

Found 6 Documents (Results 1–6)

Decision problems for interval Markov chains. (English) Zbl 1330.68109

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 274-285 (2011).
MSC:  68Q25 60J10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Abstract probabilistic automata. (English) Zbl 1317.68095

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 324-339 (2011).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software