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

Generating Symbolic Reasoning Problems with Transformer GANs. - Jens U. Kreber; Christopher Hahn (CoRR, 2021)

Learning a Terrain- and Robot-Aware Dynamics Model for Autonomous Mobile Robot Navigation. - Jan Achterhold; Suresh Guttikonda; Jens U. Kreber; Haolong Li; Joerg Stueckler (CoRR, 2024)