Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias The complexity of reachability in parametric Markov decision processes. (English) Zbl 1477.68124 J. Comput. Syst. Sci. 119, 183-210 (2021). MSC: 68Q25 68Q60 90C40 PDFBibTeX XMLCite \textit{S. Junges} et al., J. Comput. Syst. Sci. 119, 183--210 (2021; Zbl 1477.68124) Full Text: DOI arXiv Link
Winkler, Tobias; Junges, Sebastian; Pérez, Guillermo A.; Katoen, Joost-Pieter On the complexity of reachability in parametric Markov decision processes. (English) Zbl 07649922 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Winkler} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019; Zbl 07649922) Full Text: DOI arXiv
Hermanns, Holger; Krčál, Jan; Vester, Steen Distributed synthesis in continuous time. (English) Zbl 1475.68207 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 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. 9634, 353-369 (2016). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 9634, 353--369 (2016; Zbl 1475.68207) Full Text: DOI arXiv