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

Share

Cite as