Parameter synthesis in Markov models: a gentle survey
From MaRDI portal
Publication:6113987
DOI10.1007/978-3-031-22337-2_20zbMath1528.68226arXiv2207.06801MaRDI QIDQ6113987
Joost-Pieter Katoen, Sebastian Junges, Nils Jansen
Publication date: 10 August 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2207.06801
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Smoothed model checking for uncertain continuous-time Markov chains
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Formal abstraction and synthesis of parametric stochastic processes
- Tweaking the odds in probabilistic timed automata
- Model checking finite-horizon Markov chains with probabilistic inference
- Probabilistic self-stabilization
- Discrete time Markov chains with interval probabilities
- Bounded-parameter Markov decision processes
- Interval-valued finite Markov chains
- Data-efficient Bayesian verification of parametric Markov chains
- Abstract model repair for probabilistic systems
- Reachability in parametric interval Markov chains using constraints
- Parameter synthesis for Markov models: faster than ever
- Finding provably optimal Markov chains
- Inductive synthesis for probabilistic programs reaches new horizons
- The 10,000 facets of MDP model checking
- Synthesizing optimal bias in randomized self-stabilization
- Fine-tuning the odds in Bayesian networks
- Gradient-descent for randomized controllers under partial observability
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
- Reachability in augmented interval Markov chains
- Recent advances in trust region algorithms
- The complexity of reachability in parametric Markov decision processes
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
- Optimality Conditions and a Smoothing Trust Region Newton Method for NonLipschitz Optimization
- On the Computational Complexity of Stochastic Controller Optimization in POMDPs
- Model Repair for Probabilistic Systems
- Model Checking Probabilistic Systems
- Perturbation Analysis in Verification of Discrete-Time Markov Chains
- Are Parametric Markov Chains Monotonic?
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs
- The Probabilistic Model Checking Landscape
- Robust Markov Decision Processes
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- State Elimination Heuristics for Short Regular Expressions
- Theoretical Aspects of Computing - ICTAC 2004
- Shepherding hordes of Markov chains
- Parameter-Independent Strategies for pMDPs via POMDPs
- Synthesis in pMDPs: a tale of 1001 parameters
- Accelerated model checking of parametric Markov chains
- Sampling-Based Verification of CTMCs with Uncertain Rates
This page was built for publication: Parameter synthesis in Markov models: a gentle survey
