Minimal Critical Subsystems for Discrete-Time Markov Models

DOI10.1007/978-3-642-28756-5_21MaRDI QIDQ2894278zbMATH OpenOpenAlexWikidataFDO

Authors Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen

Publication date 29 June 2012

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28756-5_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• The stability of a class of discrete event systems using Markov chains
• scientific article; zbMATH DE number 65551
• scientific article; zbMATH DE number 4085505
• scientific article; zbMATH DE number 987376
• scientific article; zbMATH DE number 1419394
• Stability of Markov modulated discrete-time dynamic systems.
• On nonlinear discrete-time systems driven by Markov chains
• scientific article; zbMATH DE number 3989182
• Analysis and Design of Markov Jump Discrete Systems
• scientific article; zbMATH DE number 2136426

Cited in

(10)

• Counterexample-guided inductive synthesis for probabilistic systems
• Critical subsystems in time interval models. Application to a baking process
• On Abstraction of Probabilistic Systems
• Hierarchical counterexamples for discrete-time Markov chains
• Minimal counterexamples for linear-time probabilistic verification
• Farkas certificates and minimal witnesses for probabilistic reachability constraints
• Counterexample generation for discrete-time Markov models: an introductory survey
• Constraint-based debugging in probabilistic model checking
• Counterexample-driven synthesis for probabilistic program sketches
• Witnessing subsystems for probabilistic systems with low tree width

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Minimal Critical Subsystems for Discrete-Time Markov Models

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