×

Found 8 Documents (Results 1–8)

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software