Hans Harder

According to our database, Hans Harder authored at least 6 papers between 2020 and 2025.

Collaborative distances:

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

2025

Surrogate Modeling of 3D Rayleigh-Benard Convection with Equivariant Autoencoders.

Fynn Fromme, Christine Allen-Blanchette, Hans Harder, Sebastian Peitz

CoRR, May, 2025

2024

Predicting PDEs Fast and Efficiently with Equivariant Extreme Learning Machines.

Hans Harder, Sebastian Peitz

CoRR, 2024

On the continuity and smoothness of the value function in reinforcement learning and optimal control.

Hans Harder, Sebastian Peitz

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

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

A Unifying Formal Approach to Importance Values in Boolean Functions.

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2020

Switss: Computing Small Witnessing Subsystems.

Simon Jantsch, Hans Harder, Florian Funke, Christel Baier

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020