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

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

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

Publication date: 11 January 2018

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

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)