Hans Harder

According to our database, Hans Harder authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

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

Hans Harder, Sebastian Peitz

CoRR, 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