Publication

[HartmannsJKQ18] Multi-cost Bounded Reachability in MDP Hartmanns, A.; Junges, S.; Katoen, J.-P. and Quatmann, T. In TACAS (2), pages 320-339, Springer, Lecture Notes in Computer Science 10806, 2018.
Downloads: bib