Number of items: 6.
Cosler, Matthias and Hahn, Christopher and Mendoza, Daniel and Schmitt, Frederik and Trippel, Caroline
(2023)
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
Cosler, Matthias and Schmitt, Frederik and Hahn, Christopher and Finkbeiner, Bernd
(2023)
Iterative Circuit Repair Against Formal Specifications.
Schmitt, Frederik and Hahn, Christopher and Rabe, Markus N. and Finkbeiner, Bernd
(2021)
Neural Circuit Synthesis from Specification Patterns.
Schmitt, Frederik and Hahn, Christopher and Kreber, Jens U. and Rabe, Markus N. and Finkbeiner, Bernd
(2021)
Deep Learning for Temporal Logics.
(Unpublished)
Finkbeiner, Bernd and Schmitt, Frederik
(2021)
Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut.
iX Magazin für professionelle Informationstechnik (8).
pp. 40-43.
ISSN 0935-9680
Hahn, Christopher and Schmitt, Frederik and Kreber, Jens U. and Rabe, Markus Norman and Finkbeiner, Bernd
(2021)
Teaching Temporal Logics to Neural Networks.
This list was generated on Sun Dec 22 02:45:30 2024 CET.