Parameter synthesis for parametric interval Markov chains

DOI10.1007/978-3-662-49122-5_18MaRDI QIDQ2796061zbMATH OpenOpenAlexFDO

Authors Benoît Delahaye, Didier Lime, Laure Petrucci

Publication date 23 March 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_18

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)

Recommendations

• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• Consistency for parametric interval Markov chains
• Decision Problems for Interval Markov Chains

Cited in

(10)

• An efficient synthesis algorithm for parametric Markov chains against linear time properties
• Parameter synthesis for Markov models: faster than ever
• Consistency in parametric interval probabilistic timed automata
• Consistency and refinement for interval Markov chains
• Consistency for parametric interval Markov chains
• Parameter and controller synthesis for Markov chains with actions and state labels
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• Quantitative analysis of interval Markov chains
• Parameter synthesis in Markov models: a gentle survey
• Efficient sensitivity analysis for parametric robust Markov chains

This page was built for publication: Parameter synthesis for parametric interval Markov chains

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