Switss: Computing Small Witnessing Subsystems. - Simon Jantsch; Hans Harder; Florian Funke 002; Christel Baier (FMCAD, 2020)

A Unifying Formal Approach to Importance Values in Boolean Functions. - Hans Harder; Simon Jantsch; Christel Baier; Clemens Dubslaff (IJCAI, 2023)

Partial observations, coarse graining and equivariance in Koopman operator theory for large-scale dynamical systems. - Sebastian Peitz; Hans Harder; Feliks Nüske; Friedrich Philipp; Manuel Schaller; Karl Worthmann (CoRR, 2023)

On the continuity and smoothness of the value function in reinforcement learning and optimal control. - Hans Harder; Sebastian Peitz (CDC, 2024)

Predicting PDEs Fast and Efficiently with Equivariant Extreme Learning Machines. - Hans Harder; Sebastian Peitz (CoRR, 2024)

Surrogate Modeling of 3D Rayleigh-Benard Convection with Equivariant Autoencoders. - Fynn Fromme; Christine Allen-Blanchette; Hans Harder; Sebastian Peitz (CoRR, 2025)