Artifact for: Statistical Model Checking of Stochastic Simulink Models using UPPAAL Stochastic Timed Automata
This artifact is submitted to complement the paper "Statistical Model Checking of Stochastic Simulink Models using UPPAAL Stochastic Timed Automata" submitted to FormaliSE27.
Authors
- Anne Remke (ORCID: https://orcid.org/0000-0002-5912-4767)
- Paula Herber (ORCID: https://orcid.org/0000-0002-5349-154X)
- Pauline Blohm (ORCID: https://orcid.org/0000-0001-8934-1861)
- Elisabeth Dreiling
Institutions
- University of Münster (DE)
- University of Twente (NL)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-11-10
- DOI
- https://doi.org/10.5281/zenodo.24112447
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00