Publication:5278414

DOI10.4230/LIPIcs.CSL.2016.28zbMath1369.68256arXiv1608.06567MaRDI QIDQ5278414

Orna Kupferman, Shaull Almagor

Publication date: 19 July 2017

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

zbMATH Keywords

Markov decision process; stochastic and quantitative synthesis

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

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

03B44: Temporal logic

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