Efficient sensitivity analysis for parametric robust Markov chains
From MaRDI portal
Publication:6535680
Recommendations
- scientific article; zbMATH DE number 4038959
- Sensitivity analysis in Markov decision processes with uncertain reward parameters
- Finding provably optimal Markov chains
- Parameter synthesis in Markov models: a gentle survey
- Robust analysis of discounted Markov decision processes with uncertain transition probabilities
Cites work
- scientific article; zbMATH DE number 47262 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A critical account of perturbation analysis of Markov chains
- Abstraction-Refinement for Hierarchical Probabilistic Models
- Concentration inequalities. A nonasymptotic theory of independence
- Consistency for parametric interval Markov chains
- Convex Optimization for Parameter Synthesis in MDPs
- Data-efficient Bayesian verification of parametric Markov chains
- Distributionally Robust Convex Optimization
- Finding provably optimal Markov chains
- From bandits to Monte-Carlo tree search: the optimistic principle applied to optimization and planning
- Gradient-descent for randomized controllers under partial observability
- Integer Programming
- Integral boundary points of convex polyhedra
- Model-based Reinforcement Learning: A Survey
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
- PAC statistical model checking for Markov decision processes and stochastic games
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains
- Parameter synthesis for parametric interval Markov chains
- Parameter synthesis in Markov models: a gentle survey
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Parametric probabilistic transition systems for system design and analysis
- Perturbation analysis in verification of discrete-time Markov chains
- Perturbation realization, potentials, and sensitivity analysis of Markov processes
- Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
- Reachability in augmented interval Markov chains
- Robust optimization
- Scenario-based verification of uncertain MDPs
- Smoothed model checking for uncertain continuous-time Markov chains
- Smoothed perturbation analysis derivative estimation for Markov chains
- The complexity of reachability in parametric Markov decision processes
- Theoretical Aspects of Computing - ICTAC 2004
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Efficient sensitivity analysis for parametric robust Markov chains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535680)
