Publications

Publications for Ana Sokolova

2018
DownloadLink
[bibtex]
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs. Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, pages 53-70, Springer, 2018.
Show all