Efficient sensitivity analysis for parametric robust Markov chains

DOI10.1007/978-3-031-37709-9_4zbMATH Open1547.68406MaRDI QIDQ6535680FDOQ6535680

Authors: Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Publication date: 1 February 2024

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

Computational methods in Markov chains (60J22) Sensitivity, stability, parametric optimization (90C31) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Concentration inequalities. A nonasymptotic theory of independence
Robust optimization
Perturbation realization, potentials, and sensitivity analysis of Markov processes
Smoothed model checking for uncertain continuous-time Markov chains
Title not available (Why is that?)
Theoretical Aspects of Computing - ICTAC 2004
Title not available (Why is that?)
From bandits to Monte-Carlo tree search: the optimistic principle applied to optimization and planning
Smoothed perturbation analysis derivative estimation for Markov chains
Tools and Algorithms for the Construction and Analysis of Systems
Convex Optimization for Parameter Synthesis in MDPs
Reachability in augmented interval Markov chains
The complexity of reachability in parametric Markov decision processes
Distributionally Robust Convex Optimization
Integer Programming
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Scenario-based verification of uncertain MDPs
Parametric probabilistic transition systems for system design and analysis
Integral boundary points of convex polyhedra
Finding provably optimal Markov chains
A critical account of perturbation analysis of Markov chains
Data-efficient Bayesian verification of parametric Markov chains
Title not available (Why is that?)
Parameter synthesis for parametric interval Markov chains
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
Gradient-descent for randomized controllers under partial observability
Perturbation analysis in verification of discrete-time Markov chains
Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Model-based Reinforcement Learning: A Survey
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Abstraction-Refinement for Hierarchical Probabilistic Models
PAC statistical model checking for Markov decision processes and stochastic games
Parameter synthesis in Markov models: a gentle survey

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)