Verification of Markov Decision Processes Using Learning Algorithms

DOI10.1007/978-3-319-11936-6_8zbMath1448.68290arXiv1402.2967OpenAlexW1556387789MaRDI QIDQ3457782

No author found.

Publication date: 17 December 2015

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.2967

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (24)

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Model checking finite-horizon Markov chains with probabilistic inference ⋮ Reachability in MDPs: Refining Convergence of Value Iteration ⋮ Model Checking Probabilistic Systems ⋮ Interval iteration algorithm for MDPs and IMDPs ⋮ Automatic verification of concurrent stochastic systems ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Model Checking for Safe Navigation Among Humans ⋮ Certified reinforcement learning with logic guidance ⋮ Optimistic and topological value iteration for simple stochastic games ⋮ Unnamed Item ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Unnamed Item ⋮ Exact quantitative probabilistic model checking through rational search ⋮ Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints ⋮ Deep reinforcement learning with temporal logics ⋮ Probabilistic guarantees for safe deep reinforcement learning ⋮ Probabilistic black-box reachability checking (extended version) ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Comparison of algorithms for simple stochastic games

This page was built for publication: Verification of Markov Decision Processes Using Learning Algorithms