Hans Harder

According to our database1, Hans Harder authored at least 5 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Predicting PDEs Fast and Efficiently with Equivariant Extreme Learning Machines.
CoRR, 2024

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

2023
Partial observations, coarse graining and equivariance in Koopman operator theory for large-scale dynamical systems.
CoRR, 2023

A Unifying Formal Approach to Importance Values in Boolean Functions.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2020
Switss: Computing Small Witnessing Subsystems.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020


  Loading...