Markov automata with multiple objectives
Formal Methods in System Design, vol. 60, pp. 33–86
Authors 3
-
Tim Quatmann Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Sebastian Junges corresponding
University of California, Berkeley
Affiliation as printed
University of California, Berkeley, CA, USA
-
Joost-Pieter Katoen Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
Cited by 5 stored of 5
5 results
No patents citing this paper on Lens.org (checked 2026-10-06).