Constraint Markov chains

DOI10.1016/j.tcs.2011.05.010zbMath1223.68070OpenAlexW2015678302MaRDI QIDQ554215

Andrzej Wąsowski, Benoît Delahaye, Axel Legay, Mikkel L. Pedersen, Benoît Caillaud, Kim Guldstrand 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)

Related Items

Lumpability for uncertain continuous-time Markov chains, Stuttering for Abstract Probabilistic Automata, Abstract probabilistic automata, Unnamed Item, Policy Synthesis for Collective Dynamics, Stuttering for abstract probabilistic automata, Maximizing entropy over Markov processes, Opacity for linear constraint Markov chains, Approximate Verification of the Symbolic Dynamics of Markov Chains, Compositionality for quantitative specifications, Smoothed model checking for uncertain continuous-time Markov chains

Uses Software

• SYNRAC
• CEGAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive Markov chains. And the quest for quantified quality
• On determinism in modal transition systems
• Markov set-chains
• A logic for reasoning about time and reliability
• Symbolic model checking for probabilistic timed automata
• Timed I/O automata
• Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Probabilistic CEGAR
• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
• On Modal Refinement and Consistency
• Refinement and Consistency of Timed Modal Specifications
• Compositional Abstraction for Stochastic Systems
• Synchronous and Bidirectional Component Interfaces
• Validation of Stochastic Systems
• Validation of Stochastic Systems
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Automated Technology for Verification and Analysis
• Frontiers of Combining Systems
• Modal I/O Automata for Interface and Product Line Theories
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Simple CAD construction and its applications
• Process algebra for performance evaluation