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 (11)

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

This page was built for publication: Constraint Markov chains