PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

DOI10.1007/978-3-031-13188-2_1zbMATH Open1514.68113MaRDI QIDQ6487329FDOQ6487329

Authors: Shibashis Guha, Jan Křetínský 

Publication date: 7 December 2022

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Large deviations techniques and applications.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Time Discounted Jump Markov Decision Processes: A Discrete-Event Approach
• Near-optimal regret bounds for reinforcement learning
• Handbook of Markov decision processes. Methods and applications
• Markov decision processes with multiple long-run average objectives
• Continuity of the value of competitive Markov decision processes
• Title not available (Why is that?)
• Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
• Robustness of structurally equivalent concurrent parity games
• Verification of Markov decision processes using learning algorithms
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Omega-Regular Objectives in Model-Free Reinforcement Learning
• Value iteration for long-run average reward in Markov decision processes
• Value iteration for simple stochastic games: stopping criterion and learning algorithm
• PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
• PAC statistical model checking for Markov decision processes and stochastic games

Cited In (6)

• 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 of Mean Payoff in Discrete- and Continuous-Time MDP
• PAC statistical model checking for Markov decision processes and stochastic games
• Efficient sensitivity analysis for parametric robust Markov chains

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)