Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana Faster statistical model checking for unbounded temporal properties. (English) Zbl 1367.68188 ACM Trans. Comput. Log. 18, No. 2, Article No. 12, 25 p. (2017). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Daca} et al., ACM Trans. Comput. Log. 18, No. 2, Article No. 12, 25 p. (2017; Zbl 1367.68188) Full Text: DOI arXiv
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana 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 \textit{P. Daca} et al., Lect. Notes Comput. Sci. 9636, 112--129 (2016; Zbl 1420.68123) Full Text: DOI arXiv
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 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). MSC: 68Q85 60J10 68Q60 68Q87 PDFBibTeX XMLCite \textit{P. Daca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 20, 15 p. (2016; Zbl 1392.68293) Full Text: DOI arXiv