Ashok, Pranav; Butkova, Yuliya; Hermanns, Holger; Křetínský, Jan Continuous-time Markov decisions based on partial exploration. (English) Zbl 1517.68220 Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 317-334 (2018). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{P. Ashok} et al., Lect. Notes Comput. Sci. 11138, 317--334 (2018; Zbl 1517.68220) Full Text: DOI arXiv
Křetínský, Jan; Meggendorfer, Tobias Efficient strategy iteration for mean payoff in Markov decision processes. (English) Zbl 1495.68152 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 380-399 (2017). MSC: 68Q87 90C40 91A80 PDFBibTeX XMLCite \textit{J. Křetínský} and \textit{T. Meggendorfer}, Lect. Notes Comput. Sci. 10482, 380--399 (2017; Zbl 1495.68152) Full Text: DOI arXiv
Ashok, Pranav; Chatterjee, Krishnendu; Daca, Przemysław; Křetínský, Jan; Meggendorfer, Tobias Value iteration for long-run average reward in Markov decision processes. (English) Zbl 1494.68126 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 201-221 (2017). MSC: 68Q45 68Q87 90C40 PDFBibTeX XMLCite \textit{P. Ashok} et al., Lect. Notes Comput. Sci. 10426, 201--221 (2017; Zbl 1494.68126) Full Text: DOI arXiv
Chatterjee, Krishnendu; Křetínská, Zuzana; Křetínský, Jan Unifying two views on multiple mean-payoff objectives in Markov decision processes. (English) Zbl 1448.68280 Log. Methods Comput. Sci. 13, No. 2, Paper No. 15, 50 p. (2017). MSC: 68Q55 68Q87 90C40 91A40 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 15, 50 p. (2017; Zbl 1448.68280) Full Text: DOI
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
Chatterjee, Krishnendu; Komárková, Zuzana; Křetínský, Jan Unifying two views on multiple mean-payoff objectives in Markov decision processes. (English) Zbl 1401.68171 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 244-256 (2015). MSC: 68Q55 68Q87 90C40 91A40 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 244--256 (2015; Zbl 1401.68171) Full Text: DOI arXiv
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan Counterexample explanation by learning small strategies in Markov decision processes. (English) Zbl 1381.68104 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 158-177 (2015). MSC: 68Q32 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 9206, 158--177 (2015; Zbl 1381.68104) Full Text: DOI arXiv
Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan Controller synthesis for MDPs and frequency \(\mathrm{LTL}_{ \setminus \mathrm{GU}}\). (English) Zbl 1471.68142 Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 162-177 (2015). MSC: 68Q60 03B44 03B70 68Q45 68Q87 90C40 PDFBibTeX XMLCite \textit{V. Forejt} et al., Lect. Notes Comput. Sci. 9450, 162--177 (2015; Zbl 1471.68142) Full Text: DOI arXiv
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014). MSC: 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 8837, 98--114 (2014; Zbl 1448.68290) Full Text: DOI arXiv
Hermanns, Holger; Krčál, Jan; Křetínský, Jan Probabilistic bisimulation: naturally on distributions. (English) Zbl 1417.68130 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 249-265 (2014). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 8704, 249--265 (2014; Zbl 1417.68130) Full Text: DOI arXiv
Hermanns, Holger; Krčál, Jan; Křetínský, Jan Compositional verification and optimization of interactive Markov chains. (English) Zbl 1390.68472 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 364-379 (2013). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 8052, 364--379 (2013; Zbl 1390.68472) Full Text: DOI arXiv
Brázdil, Tomáš; Hermanns, Holger; Krčál, Jan; Křetínský, Jan; Řehák, Vojtěch Verification of open interactive Markov chains. (English) Zbl 1354.68170 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, 474-485 (2012). MSC: 68Q60 60J20 60J28 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., LIPIcs -- Leibniz Int. Proc. Inform. 18, 474--485 (2012; Zbl 1354.68170) Full Text: DOI