@inproceedings{HartmannsJKQ18,
 author    = {Arnd Hartmanns and
              Sebastian Junges and
              Joost{-}Pieter Katoen and
              Tim Quatmann},
 title     = {Multi-cost Bounded Reachability in {MDP}},
 booktitle = {{TACAS} {(2)}},
 series    = {Lecture Notes in Computer Science},
 volume    = {10806},
 pages     = {320--339},
 publisher = {Springer},
 year      = {2018}
}