Multi-objective Discounted Reward Verification in Graphs and MDPs.

Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak

Browse the full LPAR paper archive.