DTMC model checking by path abstraction revisited

DOI10.1007/978-3-032-09524-4_13MaRDI QIDQ7294406zbMATH OpenFDO

Authors Arnd Hartmanns, Robert Modderman

Publication date 10 July 2026

Full work available at URL https://doi.org/10.1007/978-3-032-09524-4_13

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• An introduction to measure theory
• Applying data refinement for monadic programs to Hopcroft's algorithm
• Automatic Data Refinement
• Explicit model checking of very large MDP using partitioning and secondary storage
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: DTMC model checking by path abstraction revisited

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