Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
From MaRDI portal
Publication:2796060
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
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