h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Hartmanns, Arnd
%A Junges, Sebastian
%A Katoen, Joost-Pieter
%A Quatmann, Tim
%T Multi-cost Bounded Tradeoff Analysis in MDP
%J Journal of automated reasoning
%V 64
%N 7
%@ 0168-7433
%C Dordrecht [u.a.]
%I Springer Science + Business Media B.V.
%M RWTH-2020-08007
%P 1483-1522
%D 2020
%B 9. International Joint Conference on Automated Reasoning
%C 14 Jul 2018 - 17 Jul 2018, Oxford (UK)
Y2 14 Jul 2018 - 17 Jul 2018
M2 Oxford, UK
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
%9 Journal ArticleContribution to a conference proceedings
%U <Go to ISI:>//WOS:000553258800001
%R 10.1007/s10817-020-09574-9
%U https://publications.rwth-aachen.de/record/794977