Published November 30, 2020
| Version v1
Dataset
Open
Markov Automata with Multiple Objectives: Supplemental Material
- 1. RWTH Aachen University
- 2. University of California, Berkeley
Description
This data set contains benchmark files for multi-objective model checking of Markov Automata with Storm.
Files
multiobjective-ma-master.zip
Files
(23.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:acaf36b58350f31218667ad95fa96bd9
|
23.6 MB | Preview Download |