Markov Automata with Multiple Objectives: Supplemental Material
| Main Authors: | Quatmann, Tim, Junges, Sebastian, Katoen, Joost-Pieter |
|---|---|
| Format: | info dataset Journal |
| Terbitan: |
, 2020
|
| Online Access: |
https://zenodo.org/record/4298643 |
Daftar Isi:
- This data set contains benchmark files for multi-objective model checking of Markov Automata with Storm.