Are Parametric Markov Chains Monotonic?

DOI10.1007/978-3-030-31784-3_28zbMath1437.68121arXiv1907.08491OpenAlexW2982115117MaRDI QIDQ3297607

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.08491

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (6)

Fine-tuning the odds in Bayesian networks ⋮ Gradient-descent for randomized controllers under partial observability ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ POMDP controllers with optimal budget ⋮ Finding provably optimal Markov chains

Uses Software

• PRISM
• Storm

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic self-stabilization
• The complexity of graph-based reductions for reachability in Markov decision processes
• Abstract model repair for probabilistic systems
• Probabilistic verification of Herman's self-stabilisation algorithm
• Parameter synthesis for Markov models: faster than ever
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Reachability in augmented interval Markov chains
• Precise parameter synthesis for stochastic biochemical systems
• Interval iteration algorithm for MDPs and IMDPs
• Solving Non-linear Arithmetic
• Model Repair for Probabilistic Systems
• Model Checking Probabilistic Systems
• The Probabilistic Model Checking Landscape
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Stochastically monotone Markov Chains
• Theoretical Aspects of Computing - ICTAC 2004
• Synthesis in pMDPs: a tale of 1001 parameters
• Accelerated model checking of parametric Markov chains

This page was built for publication: Are Parametric Markov Chains Monotonic?