External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber. Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. In Pavithra Prabhakar, Andrea Vandin, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Volume 16143 of Lecture Notes in Computer Science, pages 389-408, Springer, 2025. [doi]

Authors

Pauline Blohm

This author has not been identified. Look up 'Pauline Blohm' in Google

Felix Schulz

This author has not been identified. Look up 'Felix Schulz' in Google

Lisa Willemsen

This author has not been identified. Look up 'Lisa Willemsen' in Google

Anne Remke

This author has not been identified. Look up 'Anne Remke' in Google

Paula Herber

This author has not been identified. Look up 'Paula Herber' in Google
runs on