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 |
| Description not available. |