Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Bernd Finkbeiner

Bernd Finkbeiner

Saarland University

Formal Specifications from Natural Language


Jun 04, 2022
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Attention Flows for General Transformers


May 30, 2022
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Neural Circuit Synthesis from Specification Patterns


Jul 25, 2021
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft


Apr 28, 2020
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Teaching Temporal Logics to Neural Networks


Mar 06, 2020
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology


Jan 01, 2019
Bernd Finkbeiner, Samantha Kleinberg

* EPTCS 286, 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Synthesizing Skeletons for Reactive Systems


Mar 25, 2018
Bernd Finkbeiner, Hazem Torfah


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email