Hahn, Christopher

3 publications

ICLR 2023 Iterative Circuit Repair Against Formal Specifications Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner

NeurIPS 2021 Neural Circuit Synthesis from Specification Patterns Frederik Schmitt, Christopher Hahn, Markus N Rabe, Bernd Finkbeiner

ICLR 2021 Teaching Temporal Logics to Neural Networks Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner