Mathis Niehage

According to our database, Mathis Niehage authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.

Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Bridging the Gap Between AI and Reality, 2023

The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability.

Mathis Niehage, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

2022

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.

Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.

Mathis Niehage, Anne Remke

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

ARCH-COMP22 Category Report: Stochastic Models.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Learning optimal decisions for stochastic hybrid systems.

Mathis Niehage, Arnd Hartmanns, Anne Remke

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

ARCH-COMP21 Category Report: Stochastic Models.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Simulating Hybrid Petri nets with general transitions and non-linear differential equations.

Mathis Niehage, Carina Pilch, Anne Remke

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

2018

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.

Carina Pilch, Mathis Niehage, Anne Remke

Proceedings of the 26th IEEE International Symposium on Modeling, 2018