Multiple-environment Markov decision processes
From MaRDI portal
Publication:2978542
DOI10.4230/LIPICS.FSTTCS.2014.531zbMath1360.68598arXiv1405.4733OpenAlexW2964164277MaRDI QIDQ2978542
Ocan Sankur, Jean-François Raskin
Publication date: 25 April 2017
Full work available at URL: https://arxiv.org/abs/1405.4733
Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
This page was built for publication: Multiple-environment Markov decision processes