Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

DOI10.1007/978-3-662-49122-5_17zbMath1475.68186OpenAlexW2256709084MaRDI QIDQ2796060

Lei Song, Holger Hermanns, Vahid Hashemi

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49122-5_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Reformulation of the linear program for completely ergodic MDPs with average cost criteria ⋮ Quantitative controller synthesis for consumption Markov decision processes

This page was built for publication: Reward-Bounded Reachability Probability for Uncertain Weighted MDPs