cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.3535/2h1-fqw-6sd
title: Ptychostomum marratii (Hook. & Wilson) J.R. Spence

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.6084/m9.figshare.29645462
title: LiEtAl_OakIntrogression_data.zip

description: A dataset of ancestry composition, 36 functional traits (31 leaf functional traits and five root functional traits) and four environmental indexes (mean annual temperatutre, MAT, aridity index, first two principal components obtained from soil variables, soilPC1 and soilPC2) of 278 oak trees from 20 sites across China from east and west.
DOI: 10.6084/m9.figshare.29645462.v1
title: LiEtAl_OakIntrogression_data.zip

description: A dataset of ancestry composition, 36 functional traits (31 leaf functional traits and five root functional traits) and four environmental indexes (mean annual temperatutre, MAT, aridity index, first two principal components obtained from soil variables, soilPC1 and soilPC2) of 278 oak trees from 20 sites across China from east and west.
DOI: 10.3535/qch-11e-4sd
title: Barbarea vulgaris W. T. Aiton

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/tz8-fdx-ecq
title: Breynia disticha J.R.Forst. & G.Forst.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/r2b-6nk-v7n
title: Maoutia australis Wedd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/zae-tkv-byw
title: Carex riparia Curtis

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/4cr-f1n-y9n
title: Lathyrus pannonicus subsp. pannonicus

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/0vk-vqx-lav
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/9w6-bbq-96v
title: Solidago altissima L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ane-ks3-ks4
title: Solanum alatum Moench

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/xct-2cv-gkn
title: Carex flacca Schreb.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/pwx-tkm-1wv
title: Cerastium lucorum (Schur) Möschl

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/slj-lbs-pwn
title: Macropiper puberulum Benth.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/5hb-zg6-x2q
title: Polygala amara subsp. brachyptera (Chodat) Hayek

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/5x4-de8-9sk
title: Amaranthus deflexus L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/m3b-n7n-fxd
title: Pimpinella saxifraga L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/99n-tb7-2tq
title: Allium rotundum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/xrc-71f-xm3
title: Artemisia verlotiorum Lamotte

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/2rw-mjk-6zs
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ja8-4fe-bng
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ksn-b4x-3h0
title: Galeopsis bifida Boenn.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/bfd-d9t-gjf
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/bxc-nk8-bsz
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ft9-g17-7d7
title: Torilis arvensis (Huds.) Link

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/vcf-9dd-4jz
title: Chenopodiastrum murale (L.) S. Fuentes, Uotila & Borsch

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/7y1-qmx-ylf
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/qcr-9hl-fxp
title: Erigeron sumatrensis Retz.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/lsn-lc2-ys6
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/qz8-52v-bxn
title: Dryopteris borreri (Newman) Oberh. & Tavel

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/eh8-2dl-ala
title: Hoya R. Br.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/tae-c8b-ln5
title: Pityrogramma chrysophylla (Sw.) Link

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/hpt-7sl-h6f
title: Cerastium glutinosum Fr.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/k3t-y78-f9m
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/7sk-l6a-9mr
title: Carex umbrosa Host

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/d79-j9h-t5d
title: Chenopodiastrum murale (L.) S. Fuentes, Uotila & Borsch

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/wv4-89v-a33
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/6pj-f9b-fp5
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/wen-7ww-agz
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/3qa-jf1-76y
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/6t3-rpj-m3g
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.yhzyz5
title: Occurrence Download

description: A dataset containing 1147 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Melanoides, Ophelmatostoma, Potamonautes, Pseudopannota maculosa, Pseudopannota, Simulium chutteri, Syncordulia, Povilla adusta, Povilla, Eristalis, Copelatus capensis, Copelatus, Chydorus sphaericus, Sphaerodema nepoides, Culex poicilipes, Micronecta quewalepele, Physopsis africana, Unio, Anisus, Salifa perspicax, Salifa, Hydrozetes, , Chironomus linearis, Clinotanypus claripennis, Dicrotendipes pictipennis, Limnophyes spinosa, Procladius albitalus, Chloropsyche, Potamon warreni, Afrocaenis, Bulinus forskalii, Gyraulus costulatus, Hydropsyche longifurca, Microcylloepus, Simulium gariepsense, Sisyra, Caenodes, Afronurus peringueyi, Binoculus, Paracyclops poppei, Tropocyclops prasinus, Diaphanosoma excisum, Diaphanosoma, Isocypris priomena, Lymnaea natalensis, Radix, Bulinus globosus, Goera hageni, Goera, Leptocerus inflatus, Homocypris, Ranatra parvipes, Scapholeberis aurita, Megafenestra, Triaenodes falculatus, Prosopistoma crassi, Trichosetodes semibrunneus, Plea piccanina, Pseudagrion pseudomassaicum, Moina dubia, Abaria, Ablabesmyia dusoleili, Bidessus, Caenis capensis, Conchapelopia, Demoulinia, Demoulinia crassi, , Macropelopia, , Nilotanypus, Nyctiophylax, Petroplax curvicosta, Plea, Prionocyphon, Psychomyiellodes, Tropidelmis, Tvetenia, Notogomphus, Potamon sidneyi, Gyrinus, Simulium hargreavesi, Leptocerina, Talitroides, Methles, Lanistes, Afrobaetodes berneri, Lumbricus, Microvelia, Protomacronema, Psychomyia, Pantala, Peschetius, Allocnemis, Dicercomyzon, Tropisternus, Dyschimus, Oligoneuriopsis elisabethae)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((30.5701 -24.0715,25.5395 -24.0715,25.5395 -28.5786,30.5701 -28.5786,30.5701 -24.0715))"
 ]
}

 The dataset includes 1147 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061938-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/e5r-097-f4s
title: Polycarpon tetraphyllum (L.) L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/2yv-v15-9bj
title: Phleum alpinum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/yr1-6e8-4t6
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/drs-pm4-xc2
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/svl-mmv-7r4
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/3e3-el3-n35
title: Blysmus compressus (L.) Panz. ex Link

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/l0m-xg0-bmt
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/7bt-8xh-yzw
title: Eugenia uniflora L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/rjz-7j0-41w
title: Polyscias multijuga (A. Gray) Harms

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/xa2-50p-kbv
title: Ixora finlaysoniana Wall. ex G.Don

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/64v-2n7-2zf
title: Pneumatopteris glandulifera (Brack.) Holttum

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/an5-4dm-102
title: Mucuna gigantea (Willd.) DC.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/hf6-qjq-96p
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/20y-bwk-pv6
title: Bambusa vulgaris Schrad. ex J.C.Wendl.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/zff-tnn-gj0
title: Plumbago zeylanica L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/hc5-1kb-926
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/w5s-4jn-tmv
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/xjq-nvw-ggd
title: Leersia oryzoides (L.) Sw.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/zjf-adp-hv3
title: Avena fatua L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.jsgmd8
title: Occurrence Download

description: A dataset containing 847 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Daphne mezereum",
 "Country is Canada",
 "HasCoordinate is true"
 ]
}

 The dataset includes 847 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061940-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/4z6-ksa-a40
title: Dicksonia brackenridgei Mett.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ajg-9dd-v0x
title: Pogostemon cablin (Blanco) Benth.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/wg1-4r6-wzk
title: Murraya paniculata (L.) Jacq.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/xkt-gdd-xdb
title: Cypholophus macrocephalus (Blume) Wedd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/7y6-g3p-jg6
title: Juncus tenuis Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/21l-mx1-qd2
title: Juncus alpinoarticulatus Chaix

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/bly-816-htn
title: Torilis arvensis (Huds.) Link

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/np5-mpf-plg
title: Erigeron sumatrensis Retz.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ypt-zbb-2jz
title: Brachypodium pinnatum (L.) P.Beauv.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/fgz-r0t-7a0
title: Lythrum hyssopifolia L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/nyb-ajs-918
title: Phleum pratense L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/924-x0w-l6j
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/rn0-73d-l02
title: Mentha × piperita L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/lrn-9x0-xgj
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/2gv-fbq-vbh
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/a6p-29s-nyn
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ppy-j3q-75b
title: Pseudofumaria lutea (L.) Borkh.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/tlz-32k-rf3
title: Dioscorea alata L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/8wq-p5x-s9d
title: Potamogeton alpinus Balb.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/n6j-d5h-33n
title: Cornus sanguinea L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/37p-wqg-nrd
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/c11-0yy-cq7
title: Erigeron bonariensis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/twc-cbl-dfp
title: Salix daphnoides Vill.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/z1p-21s-tz4
title: Limnophila fragrans (G. Forst.) Seem.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/mmg-k26-e1f
title: Salix waldsteiniana Willd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.zv8yhe
title: Occurrence Download

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Oreochromis niloticus",
 "Country is Bangladesh",
 "HasCoordinate is true"
 ]
}

 The dataset includes 6 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061942-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/7ef-83l-c86
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ss3-ctv-g3w
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/bm5-fph-gdm
title: Ilex myricoides Kunth

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/d4n-ry4-hyp
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/471-9zq-tlb
title: Salix viminalis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/tek-4yj-l12
title: Iris graminea L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/da7-ac6-673
title: Salix vulpina Andersson

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.60600/yu/clawet/br8hzb
title: 0601.TextGrid

description: :unav
DOI: 10.15468/dl.k9w2wx
title: Occurrence Download

description: A dataset containing 6911 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Salix rosmarinifolia L.)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 6911 records from 148 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091123-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.60600/yu/clawet/5fioce
title: 0578.TextGrid

description: :unav
DOI: 10.15468/dl.w4etrj
title: Occurrence Download

description: A dataset containing 5926 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Amaranthus palmeri S.Watson"
 ]
}

 The dataset includes 5926 records from 264 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091122-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.d7cdar
title: Occurrence Download

description: A dataset containing 228968 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is United States of America",
 "Geometry POLYGON((-180 -90,180 -90,180 90,-180 90,-180 -90))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Lepidoptera",
 "Year 2009-2014"
 ]
}

 The dataset includes 228968 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091097-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/01346
title: Chandra X-ray Observatory ObsId 01346
DOI: 10.15468/dl.q63xc3
title: Occurrence Download

description: A dataset containing 230983 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Parnassia palustris L."
 ]
}

 The dataset includes 230983 records from 1031 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091118-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25574/01347
title: Chandra X-ray Observatory ObsId 01347
DOI: 10.25574/01350
title: Chandra X-ray Observatory ObsId 01350
DOI: 10.25574/01419
title: Chandra X-ray Observatory ObsId 01419

description: TEST OF UV SENSITVITY
DOI: 10.60600/yu/clawet/fwinjd
title: 0303.wav

description: :unav
DOI: 10.25574/01424
title: Chandra X-ray Observatory ObsId 01424
DOI: 10.5281/zenodo.10961960
title: Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact

description: Artefact for "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes"

switss-multi contains the implementation of our tool and the installation is described in the README.md

experiments contains the experiments and results. A description is provided in the README.md
DOI: 10.60600/yu/clawet/chcsxi
title: 0153.TextGrid

description: :unav
DOI: 10.17632/hy39dcw5ch.1
title: Python script for HEDE calculations from DFT data

description: This Python script quantitatively determines the hydrogen-enhanced decohesion (HEDE) of a grain boundary in metals using first-principles density functional theory (DFT) calculations, taking into account the effect of solute segregation. Using as input data the solute segregation energy and the multiple hydrogen trapping energy at a grain boundary and its fracture surfaces, the grain boundary cohesive energy is calculated as a function of the interstitial hydrogen occupancy in the metal at a given temperature.
DOI: 10.5281/zenodo.11005269
title: Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact

description: This artifact accompanies the QEST 2024 submission "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes". It contains the implementation (switss-multi) of the presented techniques, that is, the computation of certificates, witnessing subsystems and schedulers for multi-objective queries in MDPs. Further, the artifact contains the PRISM models, PRISM properties and scripts bundled in a Docker image for completely reproducing the results presented in Section 5 and Appendix D. Additionally, it also contains the original raw experimental data presented in Section 5 and Appendix D and the corresponding analysis scripts. Lastly, we provide a documentation of our implementation switss-multi and describe how to use our tool via its command-line and programmatically via its Python interface.

Relation to paperThis artifact can be used to reproduce all the experimental results (including examples) presented in the paper, that is:- The toy examples presented in Example 1 and Example 2- Table 1 in Section 5- Table 3 in Appendix D- Figure 5 in Appendix D- Figure 6 in Appendix D- Table 4 in Appendix D

Aritfact structureThis artifact consists of the following files and folders:- data: Contains the PRISM models, PRISM properties (queries) and original raw experimental data presented in Section 5 and Appendix D. Additionally, the log files and scripts for summarizing the raw experimental data are provided.- switss-multi: The source code of the implementation of our presented techniques.- switss-multi-docs: A documentation of the Python API of switss-multi.- qest-docker-image.tar.gz: The compressed Docker image, with the installed implementation (switss-multi), PRISM models, PRISM properties and the scripts for running the experiments and analysing the raw experimental data. Moreover, it contains a copy of the data folder, in case you want to run the analysis scripts on the original data.- docker-results: An empty folder that will be populated with results when running the experiments and analysis with the provided Docker image.- LICENSE: The license of this artifact (MIT license).- GUROBI-EULA: The end-user license agreement of Gurobi (also see https://pypi.org/project/gurobipy/).- GPL-3.0: The GPL 3.0 license. It is included because our dependency Storm (https://www.stormchecker.org) is licensed under it.

Note: The first version (v1) contains the data and implementation at the point of the paper submission. This version (v2) additionally contains a Docker image and more detailed documentation and is intended for the artifact evaluation.