Finkbeiner, Bernd

5 publications

NeurIPS 2024 Learning Better Representations from Less Data for Propositional Satisfiability Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

AAAI 2024 On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing Raven Beutner, Bernd Finkbeiner

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