A compositional modelling and analysis framework for stochastic hybrid systems

Ernst Moritz Hahn, Arnd Hartmanns*, Holger Hermanns, Joost Pieter Katoen

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

85 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A compositional modelling and analysis framework for stochastic hybrid systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science