Multi-objective Optimization of Long-run Average and Total Rewards.

Tim Quatmann, Joost-Pieter Katoen

Browse the full TACAS paper archive.