Sound value iteration

DOI10.1007/978-3-319-96145-3_37zbMath1511.68167arXiv1804.05001WikidataQ57800528 ScholiaQ57800528MaRDI QIDQ6041136

Joost-Pieter Katoen, Tim Quatmann

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (10)

Latticed \(k\)-induction with an application to probabilistic programs ⋮ Optimistic and topological value iteration for simple stochastic games ⋮ Unnamed Item ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Unnamed Item ⋮ Multi-objective optimization of long-run average and total rewards ⋮ On the Complexity of Value Iteration ⋮ Unnamed Item ⋮ Comparison of algorithms for simple stochastic games ⋮ Verification of multiplayer stochastic games via abstract dependency graphs

This page was built for publication: Sound value iteration