Statistics
Publications
3
Citations
39
H-Index
3
Active since
2018
Affiliations
Mathis Niehage is an author at University of Münster specializing in systems engineering, model checking, and computing.
Publications per year
2018–2022
3
3
Learning optimal decisions for stochastic hybrid systems
Mathis Niehage, Arnd Hartmanns, Anne Remke · 2021 · 15 citations · Full text
ARCH-COMP22 Category Report: Stochastic Models
Alessandro Abate, Henk Blom, Joanna Delicaris et al. · EPiC series in computing · 2022 · 11 citations · Full text
1–3 of 3