Markov Automata with Multiple Objectives

Cham / Springer (2017) [Contribution to a book, Contribution to a conference proceedings]

Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 1
Page(s): 140-159

Authors

Authors

Quatmann, Tim
Junges, Sebastian
Katoen, Joost-Pieter

Identifier