Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta Model checking probabilistic systems. (English) Zbl 1392.68227 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 963-999 (2018). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., in: Handbook of model checking. Cham: Springer. 963--999 (2018; Zbl 1392.68227) Full Text: DOI
Forejt, Vojtech; Krcal, Jan On frequency LTL in probabilistic systems. (English) Zbl 1374.68284 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 184-197 (2015). MSC: 68Q60 03B44 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} and \textit{J. Krcal}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 184--197 (2015; Zbl 1374.68284) 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
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín Branching-time model-checking of probabilistic pushdown automata. (English) Zbl 1311.68084 J. Comput. Syst. Sci. 80, No. 1, 139-156 (2014). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., J. Comput. Syst. Sci. 80, No. 1, 139--156 (2014; Zbl 1311.68084) Full Text: DOI
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín Trading performance for stability in Markov decision processes. (English) Zbl 1366.68087 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 331-340 (2013). MSC: 68Q25 68Q87 90C40 93B50 PDFBibTeX XMLCite \textit{T. Brázdil} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 331--340 (2013; Zbl 1366.68087) Full Text: DOI
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Automatic verification of competitive stochastic systems. (English) Zbl 1291.68252 Form. Methods Syst. Des. 43, No. 1, 61-92 (2013). MSC: 68Q60 68Q87 91A15 03B44 03B48 PDFBibTeX XMLCite \textit{T. Chen} et al., Form. Methods Syst. Des. 43, No. 1, 61--92 (2013; Zbl 1291.68252) Full Text: DOI
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik Multi-objective discounted reward verification in graphs and MDPs. (English) Zbl 1406.68051 McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 228-242 (2013). MSC: 68Q60 68Q25 68Q87 90C29 90C40 91A15 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 8312, 228--242 (2013; Zbl 1406.68051) Full Text: DOI
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis PRISM-games: a model checker for stochastic multi-player games. (English) Zbl 1381.68151 Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 185-191 (2013). MSC: 68Q60 68Q87 91A06 91A15 PDFBibTeX XMLCite \textit{T. Chen} et al., Lect. Notes Comput. Sci. 7795, 185--191 (2013; Zbl 1381.68151) Full Text: DOI
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 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). MSC: 68Q45 68Q17 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 18, 448--460 (2012; Zbl 1354.68152) Full Text: DOI arXiv
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David Pareto curves for probabilistic model checking. (English) Zbl 1374.68285 Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 317-332 (2012). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} et al., Lect. Notes Comput. Sci. 7561, 317--332 (2012; Zbl 1374.68285) Full Text: DOI arXiv
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Automatic verification of competitive stochastic systems. (English) Zbl 1352.68150 Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 315-330 (2012). MSC: 68Q60 03B44 68Q87 91A15 91A80 PDFBibTeX XMLCite \textit{T. Chen} et al., Lect. Notes Comput. Sci. 7214, 315--330 (2012; Zbl 1352.68150) Full Text: DOI
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang Quantitative multi-objective verification for probabilistic systems. (English) Zbl 1315.68177 Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 112-127 (2011). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{V. Forejt} et al., Lect. Notes Comput. Sci. 6605, 112--127 (2011; Zbl 1315.68177) Full Text: DOI