Parameter Synthesis for Parametric Interval Markov Chains

DOI10.1007/978-3-662-49122-5_18zbMath1475.68181OpenAlexW2294999689MaRDI QIDQ2796061

Laure Petrucci, Didier Lime, Benoît Delahaye

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)

Related Items (4)

Parameter Synthesis Algorithms for Parametric Interval Markov Chains ⋮ Quantitative analysis of interval Markov chains ⋮ Reachability in parametric interval Markov chains using constraints ⋮ Consistency in parametric interval probabilistic timed automata

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