2 citations · 4 across the 3 of their papers we have counts for
3 papers
math.DS2023★ 1 cited
Equivariance and partial observations in Koopman operator theory for partial differential equations
Sebastian Peitz, Hans Harder, Feliks Nüske +3
The Koopman operator has become an essential tool for data-driven analysis, prediction and control of complex systems. The main reason is the enormous potential of identifying line…
cs.GT2023★ 2 cited
A Unifying Formal Approach to Importance Values in Boolean Functions
Hans Harder, Simon Jantsch, Christel Baier +1
Boolean functions and their representation through logics, circuits, machine learning classifiers, or binary decision diagrams (BDDs) play a central role in the design and analysis…
cs.LO2020★ 1 cited
SWITSS: Computing Small Witnessing Subsystems
Simon Jantsch, Hans Harder, Florian Funke +1
Witnessing subsystems for probabilistic reachability thresholds in discrete Markovian models are an important concept both as diagnostic information on why a property holds, and as…