Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter Markov automata with multiple objectives. (English) Zbl 1522.68345 Form. Methods Syst. Des. 60, No. 1, 33-86 (2022). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{T. Quatmann} et al., Form. Methods Syst. Des. 60, No. 1, 33--86 (2022; Zbl 1522.68345) Full Text: DOI
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim Multi-cost bounded tradeoff analysis in MDP. (English) Zbl 1468.68132 J. Autom. Reasoning 64, No. 7, 1483-1522 (2020). MSC: 68Q60 68Q87 90C29 90C40 PDFBibTeX XMLCite \textit{A. Hartmanns} et al., J. Autom. Reasoning 64, No. 7, 1483--1522 (2020; Zbl 1468.68132) Full Text: DOI
Spel, Jip; Junges, Sebastian; Katoen, Joost-Pieter Are parametric Markov chains monotonic? (English) Zbl 1437.68121 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 479-496 (2019). MSC: 68Q60 60J10 68Q87 PDFBibTeX XMLCite \textit{J. Spel} et al., Lect. Notes Comput. Sci. 11781, 479--496 (2019; Zbl 1437.68121) Full Text: DOI arXiv