Learning algorithms for verification of Markov decision processes

From MaRDI portal


DOI10.46298/THEORETICS.25.10MaRDI QIDQ6987456zbMATH OpenFDO

Authors Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtech Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma

Publication date 6 May 2025

Published in TheoretiCS (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International


zbMATH Keywords

learningMarkov decision processes

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)












This page was built for publication: Learning algorithms for verification of Markov decision processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987456)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Learning_algorithms_for_verification_of_Markov_decision_processes&oldid=76338342"
Powered by MediaWiki