30 citations · 30 across the 4 of their papers we have counts for
10 papers
Live Synthesis
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized impleme…
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Gideon Geier, Philippe Heim, Felix Klein +1
We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where…
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using ab…
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Maximilien Colange +11
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
Bounded Synthesis of Reactive Programs
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadab…
Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help gui…