HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. - Carina Pilch; Mathis Niehage; Anne Remke (MASCOTS, 2018)

Simulating Hybrid Petri nets with general transitions and non-linear differential equations. - Mathis Niehage; Carina Pilch; Anne Remke (VALUETOOLS, 2020)

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; et al. (ARCH@ADHS, 2021)

Learning optimal decisions for stochastic hybrid systems. - Mathis Niehage; Arnd Hartmanns; Anne Remke (MEMOCODE, 2021)

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; et al. (ARCH@SAFECOMP, 2022)

Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. - Mathis Niehage; Anne Remke (FORMATS, 2022)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. - Julius Adelt; Paula Herber; Mathis Niehage; Anne Remke (ISoLA (1), 2022)

The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. - Mathis Niehage; Anne Remke (VALUETOOLS, 2023)

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. - Julius Adelt; Sebastian Bruch 002; Paula Herber; Mathis Niehage; Anne Remke (AISoLA, 2023)

Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. - Mathis Niehage; Carina da Silva; Anne Remke; Arnd Hartmanns (NFM, 2025)

Symbolic state-space exploration meets statistical model checking. - Mathis Niehage; Anne Remke (Perform. Evaluation, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - 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; et al. (CoRR, 2025)