Parameter-Independent Strategies for pMDPs via POMDPs

Cham / Springer International Publishing (2018) [Contribution to a book, Contribution to a conference proceedings]

Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.)
Page(s): 53-70

Authors

Authors

Arming, Sebastian
Bartocci, Ezio
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Sokolova, Ana

Identifier