Herr Mathis Niehage, Institut für Informatik

Private Homepagehttps://www.uni-muenster.de/Informatik.AGRemke
Current PublicationsAbate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo ARCH-COMP21 Category Report: Stochastic Models. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)EPiC Series in Computing, 2021, pp 55-89 online
Niehage Mathis, Hartmanns Arnd, Remke Anne Learning optimal decisions for stochastic hybrid systems. , 2021, pp 44-55 online
Niehage Mathis, Pilch Carina, Remke Anne Simulating Hybrid Petri nets with general transitions and non-linear differential equations. , 2020 online
Pilch Carina, Niehage Mathis, Remke Anne HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. , 2018, pp 157-169 online
E-Mailmathis.niehage@uni-muenster.de
Phone+49 251 83-32773
FAX+49 251 83-33755
Room701 a
Secretary   Sekretariat Sichma
Frau Katharina Sichma
Telefon +49 251 83-32700
Fax +49 251 83-33755
Zimmer 604b
AddressHerr Mathis Niehage
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren