Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Datasets
View Item
Radboud Repository
Collections Radboud University
Datasets
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material
Creators
Watanabe, K.
Vegt, M.E.M. van der
Hasuo, I.
Rot, J.
Junges, S.
Date of Archiving
2024
Archive
Zenodo
DOI
https://doi.org/10.5281/zenodo.10440296
Publication type
Dataset
Access level
Open access
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2066/304239
Display more details
Display less details
Organization
Software Science
Audience(s)
Computer science
Abstract
Supplemental material for the paper: Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
This item appears in the following Collection(s)
Datasets
[1853]
Faculty of Science
[36969]
