Markov Automata with Multiple Objectives

Quatmann, Tim (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter

Cham : Springer (2017)
Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: 140-159

Identifier