Of cores: a partial-exploration framework for Markov decision processes

DOI10.4230/LIPICS.CONCUR.2019.5MaRDI QIDQ5875366FDOQ5875366

Authors: Jan Křetínský, Tobias Meggendorfer 

Publication date: 3 February 2023

Recommendations

• Of cores: a partial-exploration framework for Markov decision processes
• Continuous-time Markov decisions based on partial exploration
• Verification of Markov decision processes using learning algorithms
• CEGAR for compositional analysis of qualitative properties in Markov decision processes

zbMATH Keywords

approximationreachabilityMarkov decision processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of probabilistic verification
• Title not available (Why is that?)
• Dynamic programming and optimal control. Vol. 2
• Performance analysis of probabilistic timed automata using digital clocks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reachability in MDPs: refining convergence of value iteration
• Title not available (Why is that?)
• Verification of Markov decision processes using learning algorithms
• Sound value iteration
• Value iteration for long-run average reward in Markov decision processes
• Of cores: a partial-exploration framework for Markov decision processes
• Continuous-time Markov decisions based on partial exploration

Cited In (3)

• Of cores: a partial-exploration framework for Markov decision processes
• Comparison of algorithms for simple stochastic games
• Of cores: a partial-exploration framework for Markov decision processes

Uses Software

• PRISM
• PASS
• Storm

This page was built for publication: Of cores: a partial-exploration framework for Markov decision processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875366)