Markov Automata with Multiple Objectives: Supplemental Material

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This data set contains benchmark files for multi-objective model checking of Markov Automata with Storm.

Authors 3

1. Tim Quatmann Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Sebastian Junges

   University of California, Berkeley

   Affiliation as printed

   University of California, Berkeley

3. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University