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