Markov Automata with Multiple Objectives.

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

Browse the full CAV paper archive.