Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik Alternating good-for-MDPs automata. (English) Zbl 1522.68270 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 303-319 (2022). MSC: 68Q45 68Q60 90C40 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 13505, 303--319 (2022; Zbl 1522.68270) Full Text: DOI arXiv
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik An impossibility result in automata-theoretic reinforcement learning. (English) Zbl 1522.68269 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 42-57 (2022). MSC: 68Q45 68Q32 68T05 68Q60 93C30 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 13505, 42--57 (2022; Zbl 1522.68269) Full Text: DOI
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik Model-free reinforcement learning for lexicographic omega-regular objectives. (English) Zbl 1521.68121 Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 142-159 (2021). MSC: 68T05 68Q87 90C40 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 13047, 142--159 (2021; Zbl 1521.68121) Full Text: DOI
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik Good-for-MDPs automata for probabilistic analysis and reinforcement learning. (English) Zbl 1507.68167 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 306-323 (2020). MSC: 68Q45 90C40 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 12078, 306--323 (2020; Zbl 1507.68167) Full Text: DOI arXiv
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik Model-free reinforcement learning for stochastic parity games. (English) Zbl 07559477 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 21, 16 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 21, 16 p. (2020; Zbl 07559477) Full Text: DOI
Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang Model checking \(\omega\)-regular properties for quantum Markov chains. (English) Zbl 1442.68106 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 35, 16 p. (2017). MSC: 68Q60 81P68 PDFBibTeX XMLCite \textit{Y. Feng} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 35, 16 p. (2017; Zbl 1442.68106) Full Text: DOI
Hahn, Ernst Moritz; Hermanns, Holger Rewarding probabilistic hybrid automata. (English) Zbl 1362.68172 Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 313-322 (2013). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. M. Hahn} and \textit{H. Hermanns}, in: Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013. New York, NY: Association for Computing Machinery (ACM). 313--322 (2013; Zbl 1362.68172) Full Text: DOI
Baier, C.; Hahn, E. M.; Haverkort, B. R.; Hermanns, H.; Katoen, J.-P. Model checking for performability. (English) Zbl 1358.68181 Math. Struct. Comput. Sci. 23, No. 4, 751-795 (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Math. Struct. Comput. Sci. 23, No. 4, 751--795 (2013; Zbl 1358.68181) Full Text: DOI