h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Hartmanns, Arnd
AU  - Junges, Sebastian
AU  - Katoen, Joost-Pieter
AU  - Quatmann, Tim
TI  - Multi-cost Bounded Tradeoff Analysis in MDP
JO  - Journal of automated reasoning
VL  - 64
IS  - 7
SN  - 0168-7433
CY  - Dordrecht [u.a.]
PB  - Springer Science + Business Media B.V.
M1  - RWTH-2020-08007
SP  - 1483-1522
PY  - 2020
T2  - 9. International Joint Conference on Automated Reasoning
CY  - 14 Jul 2018 - 17 Jul 2018, Oxford (UK)
Y2  - 14 Jul 2018 - 17 Jul 2018
M2  - Oxford, UK
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:000553258800001
DO  - DOI:10.1007/s10817-020-09574-9
UR  - https://publications.rwth-aachen.de/record/794977
ER  -