PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
From MaRDI portal
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Recommendations
- Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
- Efficient strategy iteration for mean payoff in Markov decision processes
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Tools and Algorithms for the Construction and Analysis of Systems
- Reachability in continuous-time Markov reward decision processes
Cites work
- Continuity of the value of competitive Markov decision processes
- Continuous Time Discounted Jump Markov Decision Processes: A Discrete-Event Approach
- Handbook of Markov decision processes. Methods and applications
- scientific article; zbMATH DE number 1233798 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 1095138 (Why is no real title available?)
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 1905115 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Large deviations techniques and applications.
- Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
- Markov decision processes with multiple long-run average objectives
- Near-optimal regret bounds for reinforcement learning
- Omega-Regular Objectives in Model-Free Reinforcement Learning
- PAC statistical model checking for Markov decision processes and stochastic games
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
- Robustness of structurally equivalent concurrent parity games
- Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
- Value iteration for long-run average reward in Markov decision processes
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Verification of Markov decision processes using learning algorithms
Cited in
(8)- Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
- Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
- Efficient strategy iteration for mean payoff in Markov decision processes
- PAC statistical model checking for Markov decision processes and stochastic games
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
- Efficient sensitivity analysis for parametric robust Markov chains
- Preface of the special issue on the conference on computer-aided verification 2022
- Learning algorithms for verification of Markov decision processes
This page was built for publication: PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487329)
