Multiple Long-Run and mega-Regular Objectives in MDPs.

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

Browse the full TACAS paper archive.