Mathis Niehage

13 papers B 1C 1Journal 2Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ARCH-COMP25 Category Report: Stochastic Models. CoRR Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025	—	`conf`	Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. NFM Mathis Niehage, Carina da Silva, Anne Remke, Arnd Hartmanns
2025	J	`jnl`	Symbolic state-space exploration meets statistical model checking. Perform. Evaluation Mathis Niehage, Anne Remke
2024	—	`conf`	Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System. VALUETOOLS Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen
2023	—	`conf`	Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
2023	—	`conf`	The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. VALUETOOLS Mathis Niehage, Anne Remke
2022	—	`conf`	ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
2022	—	`conf`	Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. FORMATS Mathis Niehage, Anne Remke
2022	—	`conf`	Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
2021	—	`conf`	ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021	C	`conf`	Learning optimal decisions for stochastic hybrid systems. MEMOCODE Mathis Niehage, Arnd Hartmanns, Anne Remke
2020	—	`conf`	Simulating Hybrid Petri nets with general transitions and non-linear differential equations. VALUETOOLS Mathis Niehage, Carina Pilch, Anne Remke
2018	B	`conf`	HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. MASCOTS Carina Pilch, Mathis Niehage, Anne Remke