Multi-cost bounded reachability in MDP
From MaRDI portal
Publication:2324235
DOI10.1007/978-3-319-89963-3_19zbMath1423.68282OpenAlexW2799242129WikidataQ57800517 ScholiaQ57800517MaRDI QIDQ2324235
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Joost-Pieter Katoen
Publication date: 16 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89963-3_19
Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Simple Strategies in Multi-Objective MDPs ⋮ Quantitative controller synthesis for consumption Markov decision processes ⋮ Unnamed Item ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Unnamed Item ⋮ Verification of multiplayer stochastic games via abstract dependency graphs
