Dataset Open Access

Markov Automata with Multiple Objectives: Supplemental Material

Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter

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

Files (23.6 MB)
Name Size
multiobjective-ma-master.zip
md5:acaf36b58350f31218667ad95fa96bd9 		23.6 MB Download
38
2
views
downloads
All versions This version
Views 3838
Downloads 22
Data volume 47.2 MB47.2 MB
Unique views 3636
Unique downloads 22
More info on how stats are collected.
Indexed in
Publication date:
November 30, 2020
DOI:
10.5281/zenodo.4298643

Zenodo DOI Badge

DOI 

10.5281/zenodo.4298643

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4298643.svg)](https://doi.org/10.5281/zenodo.4298643)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4298643.svg
   :target: https://doi.org/10.5281/zenodo.4298643

HTML 

<a href="https://doi.org/10.5281/zenodo.4298643"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4298643.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4298643.svg

Target URL 

https://doi.org/10.5281/zenodo.4298643

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4298643 Nov 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4298642. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export