There is a newer version of the record available.

Published April 24, 2025 | Version v1
Other Open

Artifact for Paper: Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

Creators

  • 1. ROR icon University of Münster
  • 2. ROR icon University of Twente

Description

This artifact is submitted to complement the paper "Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata" which is submitted to QEST 25.

Files

artifact.zip

Files (207.7 MB)

Name Size Download all
md5:3ceb7d0df28706737d1f4e1c523c4ca4
207.7 MB Preview Download