A comparison of time- and reward-bounded probabilistic model checking techniques

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

Mathematics Subject Classification ID

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

Related Items

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