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]

Journal of automated reasoning
Volume: 64
Issue: 7
Page(s): 1483-1522

Identifier

Downloads