Verification of Indefinite-Horizon POMDPs

DOI10.1007/978-3-030-59152-6_16MaRDI QIDQ6485882

Tim Quatmann, Unnamed Author, Joost-Pieter Katoen, Sebastian Junges

Publication date: 22 December 2022

Published in: 1517.68225 (Search for Journal in Brave)

Mathematics Subject Classification ID

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 (3)

Robust almost-sure reachability in multi-environment MDPs ⋮ Under-approximating expected total rewards in POMDPs ⋮ Search and explore: symbiotic policy synthesis in POMDPs

This page was built for publication: Verification of Indefinite-Horizon POMDPs