Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.

DOI10.4230/OASIcs.SynCoP.2015.63zbMath1429.68142OpenAlexW2282501629MaRDI QIDQ5240153

Bharath Siva Kumar Tati, Markus Siegle

Publication date: 24 October 2019

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5610/pdf/8.pdf/

zbMATH Keywords

controller synthesisprobabilistic model checkingparameter synthesisMarkov chains with actions and state labels

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Solving systems of bilinear equations for transition rate reconstruction ⋮ It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Uses Software

• PRISM
• CASPA
• PARAM

Cites Work

• Unnamed Item
• Unnamed Item
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
• Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Process algebra for performance evaluation

This page was built for publication: Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.