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

DOI10.1007/978-3-319-47677-3_6MaRDI QIDQ1660767zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Statistical probabilistic model checking with a focus on time-bounded properties
• Formal Modeling and Analysis of Timed Systems
• Validation of Stochastic Systems
• Model checking for probabilistic timed automata
• On probabilistic timed automata.

Cited in

(5)

• Multi-cost bounded tradeoff analysis in MDP
• Quantitative controller synthesis for consumption Markov decision processes
• Identity-Based Cryptosystems and Quadratic Residuosity
• Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
• A no-go theorem for coalgebraic product construction

This page was built for publication: A comparison of time- and reward-bounded probabilistic model checking techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1660767)