Published May 5, 2025 | Version v2
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 (414.6 MB)

Name Size Download all
md5:73d687ead75d8e2c1f369ccc194cd1da
414.6 MB Preview Download