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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(9)

• Quantitative analysis of interval Markov chains
• Consistency for parametric interval Markov chains
• Parameter synthesis for Markov models: faster than ever
• Consistency and refinement for interval Markov chains
• Consistency in parametric interval probabilistic timed automata
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• An efficient synthesis algorithm for parametric Markov chains against linear time properties
• 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)