Verification of general Markov decision processes by approximate similarity relations and policy refinement

DOI10.1007/978-3-319-43425-4_16zbMath1377.68131arXiv1605.09557OpenAlexW2413475417MaRDI QIDQ1693104

Alessandro Abate, Sofie Haesaert, Van den Hof, Paul M. J.

Publication date: 11 January 2018

Full work available at URL: https://arxiv.org/abs/1605.09557

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement

This page was built for publication: Verification of general Markov decision processes by approximate similarity relations and policy refinement