Rejection-Based Simulation of Non-Markovian Agents on Complex Networks

von Großmann, Gerrit
Veröffentlicht in International Conference on Complex Networks and their Applications (8. : 2019 : Lissabon) Complex networks and their applications VIII ; Volume 1 (2020)

Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study

von Großmann, Gerrit
Veröffentlicht in QEST (17. : 2020 : Online) Quantitative evaluation of systems (2020)

Analysis of Markov Jump Processes under Terminal Constraints

von Backenköhler, Michael
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models

von Backenköhler, Michael
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)