Multi-cost Bounded Reachability in MDP.

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Browse the full TACAS paper archive.