A comparison of time- and reward-bounded probabilistic model checking techniques
From MaRDI portal
Publication:1660767
DOI10.1007/978-3-319-47677-3_6zbMath1393.68104OpenAlexW2527940885MaRDI QIDQ1660767
Ernst Moritz Hahn, Arnd Hartmanns
Publication date: 16 August 2018
Full work available at URL: https://research.utwente.nl/en/publications/a-comparison-of-time-and-rewardbounded-probabilistic-model-checking-techniques(4f5f29e9-cf0a-4bf2-a5e4-8c7554cf8cbf).html
Related Items (max. 100)
Quantitative controller synthesis for consumption Markov decision processes ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Identity-Based Cryptosystems and Quadratic Residuosity
This page was built for publication: A comparison of time- and reward-bounded probabilistic model checking techniques