h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Hartmanns, Arnd
AU  - Junges, Sebastian
AU  - Katoen, Joost-Pieter
AU  - Quatmann, Tim
TI  - Multi-cost Bounded Reachability in MDP
VL  - 10806, Part 2
CY  - Cham
PB  - Springer International Publishing
M1  - RWTH-2018-229065
T2  - Lecture notes in computer science
SP  - 320-339
PY  - 2018
N1  - Weitere Reihe: Springer eBook Collection : Computer Science
T2  - 24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CY  - 14 Apr 2018 - 20 Apr 2018, Thessaloniki (Greece)
Y2  - 14 Apr 2018 - 20 Apr 2018
M2  - Thessaloniki, Greece
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:000445822600019
DO  - DOI:10.1007/978-3-319-89963-3_19
UR  - https://publications.rwth-aachen.de/record/745801
ER  -