Model checking branching time properties for incomplete Markov chains

DOI10.1007/978-3-030-30923-7_2MaRDI QIDQ6198464zbMATH OpenOpenAlexFDO

Authors Shiraj Arora, M. V. Panduranga Rao

Publication date 23 February 2024

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-30923-7_2

zbMATH Keywords

discrete-time Markov chainsincomplete modelsprobabilistic computation tree logicprobabilistic model checkingthree-valued logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Stochastic model checking
• Model checking probabilistic systems
• scientific article; zbMATH DE number 1538048
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 2102712

This page was built for publication: Model checking branching time properties for incomplete Markov chains

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