Markov automata with multiple objectives

Formal Methods in System Design, vol. 60, pp. 33–86

Authors 3

1. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Sebastian Junges corresponding

   University of California, Berkeley

   Affiliation as printed

   University of California, Berkeley, CA, USA

3. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany