Constraint Markov chains

DOI10.1016/J.TCS.2011.05.010MaRDI QIDQ554215zbMATH OpenOpenAlexFDO

Authors Benoît Caillaud, Benoît Delahaye, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski, Kim G. Larsen

Publication date 29 July 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.05.010

zbMATH Keywords

Markov chainsprocess algebraclosure propertiesspecification theory

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Consistency and refinement for interval Markov chains
• Decision Problems for Interval Markov Chains
• Consistency for parametric interval Markov chains

Cites work

• scientific article; zbMATH DE number 1348599 (Why is no real title available?)
• scientific article; zbMATH DE number 1863173 (Why is no real title available?)
• A logic for reasoning about time and reliability
• Automated Technology for Verification and Analysis
• Compositional abstraction for stochastic systems
• Frontiers of Combining Systems
• Interactive Markov chains. And the quest for quantified quality
• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
• Markov set-chains
• Methodologies for specification of real-time systems using timed I/O automata
• Modal I/O Automata for Interface and Product Line Theories
• Model Checking Software
• Model-Checking ω-Regular Properties of Interval Markov Chains
• New results on quantifier elimination over real closed fields and applications to constraint databases
• On Modal Refinement and Consistency
• On determinism in modal transition systems
• Probabilistic CEGAR
• Probabilistic extensions of process algebras.
• Process algebra for performance evaluation
• Refinement and Consistency of Timed Modal Specifications
• Simple CAD construction and its applications
• Symbolic model checking for probabilistic timed automata
• Synchronous and Bidirectional Component Interfaces
• The complexity of quantifier elimination and cylindrical algebraic decomposition
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Timed I/O automata: a complete specification theory for real-time systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Validation of Stochastic Systems
• Validation of Stochastic Systems

Cited in

(16)

• Stuttering for abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• Smoothed model checking for uncertain continuous-time Markov chains
• Lumpability for uncertain continuous-time Markov chains
• Consistency for parametric interval Markov chains
• A theory of distributed Markov chains
• Introducing User-Prescribed Constraints in Markov Chains for Nonlinear Dimensionality Reduction
• Maximizing entropy over Markov processes
• The Markov Transition Constraint
• scientific article; zbMATH DE number 3925922 (Why is no real title available?)
• Opacity for linear constraint Markov chains
• Policy Synthesis for Collective Dynamics
• Compositionality for quantitative specifications
• Assume-guarantee reasoning for additive hybrid behaviour
• Approximate verification of the symbolic dynamics of Markov chains
• Abstract probabilistic automata

Describes a project that uses

Uses Software

• CEGAR
• SYNRAC

This page was built for publication: Constraint Markov chains

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