Parameter Synthesis Algorithms for Parametric Interval Markov Chains

DOI10.1007/978-3-319-92612-4_7MaRDI QIDQ5881537zbMATH OpenOpenAlexWikidataFDO

Authors Laure Petrucci, Jaco van de Pol

Publication date 10 March 2023

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-92612-4_7

zbMATH Keywords

constraint logic programmingbackward algorithminterval Markov chainslongest simple pathparameter synthesis problem

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Parameter synthesis for parametric interval Markov chains
• Consistency for parametric interval Markov chains
• An efficient synthesis algorithm for parametric Markov chains against linear time properties

Cites work

• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• Abstract probabilistic automata
• Consistency for parametric interval Markov chains
• Model checking of open interval Markov chains
• On the complexity of model checking interval-valued discrete time Markov chains
• Parameter synthesis for Markov models: faster than ever
• Parameter synthesis for parametric interval Markov chains
• Parametric probabilistic transition systems for system design and analysis
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(14)

• Parameter synthesis for Markov models: covering the parameter space
• Synthesis in pMDPs: a tale of 1001 parameters
• Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
• Finding provably optimal Markov chains
• Quantitative analysis of interval Markov chains
• Consistency for parametric interval Markov chains
• Parameter synthesis for Markov models: faster than ever
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Mean-payoff optimization in continuous-time Markov chains with parametric alarms
• Are parametric Markov chains monotonic?
• An efficient synthesis algorithm for parametric Markov chains against linear time properties
• Parameter synthesis for parametric interval Markov chains
• Parameter synthesis in Markov models: a gentle survey
• Efficient sensitivity analysis for parametric robust Markov chains

Describes a project that uses

Uses Software

• PROPhESY
• PRISM-PSY
• PPL
• PVS
• PRISM

This page was built for publication: Parameter Synthesis Algorithms for Parametric Interval Markov Chains

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