Harder, Hans

1. SWITSS: Computing Small Witnessing Subsystems
   2020/08/10 by Jantsch, Simon, Harder, Hans, Funke, Florian +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Equivariance and partial observations in Koopman operator theory for partial differential equations
   2023/07/28 by Peitz, Sebastian, Harder, Hans, Nüske, Feliks +3 · 2 citations
   #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG)
3. On the continuity and smoothness of the value function in reinforcement learning and optimal control
   2024/03/21 by Harder, Hans, Peitz, Sebastian · 1 citation
   #37H99 #37N35 #93E03 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #I.2.8 #Systems and Control (eess.SY) #electronic engineering #information engineering