×

Found 3 Documents (Results 1–3)

Faster statistical model checking for unbounded temporal properties. (English) Zbl 1420.68123

Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 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. 9636, 112-129 (2016).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear distances between Markov chains. (English) Zbl 1392.68293

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

Software