Hierarchical Counterexamples for Discrete-Time Markov Chains
Publication:3172933
DOI10.1007/978-3-642-24372-1_33zbMath1348.68139OpenAlexW1529165591WikidataQ57801248 ScholiaQ57801248MaRDI QIDQ3172933
Erika Ábrahám, Bernd Becker, Jens Katelaan, Ralf Wimmer, Nils Jansen, Joost-Pieter Katoen
Publication date: 7 October 2011
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_33
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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Uses Software
This page was built for publication: Hierarchical Counterexamples for Discrete-Time Markov Chains