4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Information Flow Guided Synthesis (Full Version)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Compositional synthesis relies on the discovery of assumptions, i.e., restrictions on the behavior of the remainder of the system that allow a component to realize its specificatio…
cs.LO2020★ 4 cited
Teaching Temporal Logics to Neural Networks
Christopher Hahn, Frederik Schmitt, Jens U. Kreber +2
We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of l…