Multi-cost Bounded Tradeoff Analysis in MDP
Hartmanns, Arnd (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
Dordrecht [u.a.] : Springer Science + Business Media B.V. (2020)
Contribution to a conference proceedings, Journal Article
In: Journal of automated reasoning
Volume: 64
Issue: 7
Page(s)/Article-Nr.: 1483-1522
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1007/s10817-020-09574-9
- DOI: 10.18154/RWTH-2020-08007
- RWTH PUBLICATIONS: RWTH-2020-08007