Tableaux for policy synthesis for MDPs with PCTL* constraints

DOI10.1007/978-3-319-66902-1_11zbMath1496.68187arXiv1706.10102MaRDI QIDQ1694463

Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan

Publication date: 2 February 2018

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

Mathematics Subject Classification ID

90C40: Markov and semi-Markov decision processes

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

03B44: Temporal logic

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