Ensuring the reliability of your model checker: interval iteration for Markov decision processes
From MaRDI portal
Publication:2151242
DOI10.1007/978-3-319-63387-9_8zbMath1494.68159OpenAlexW2735021239MaRDI QIDQ2151242
Publication date: 1 July 2022
Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/ensuring-the-reliability-of-your-model-checker(bc4dc3c0-cb16-4029-8493-98bc42623523).html
Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (9)
Simple Strategies in Multi-Objective MDPs ⋮ Latticed \(k\)-induction with an application to probabilistic programs ⋮ Markov automata with multiple objectives ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Optimistic and topological value iteration for simple stochastic games ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Unnamed Item ⋮ Comparison of algorithms for simple stochastic games ⋮ Verification of multiplayer stochastic games via abstract dependency graphs
This page was built for publication: Ensuring the reliability of your model checker: interval iteration for Markov decision processes
