We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018–
2021). We briefly describe the evaluation scheme and the experimental setup of …

The synthesis of reactive systems from linear temporal logic (LTL) specifications is an
important aspect in the design of reliable software and hardware. We present our adaption …

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in
compile time. The use of runtime verification (RV) enables monitoring these systems in …

While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous
progress in recent years, combining the two approaches has remained a challenge. In this …

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two
new benchmark classes that have been added to the SYNTCOMP library, and briefly …

The goal of programmatic Learning from Demonstration (LfD) is to learn a policy in a
programming language that can be used to control a robot's behavior from a set of user …

Reactive synthesis builds a system from a specification given as a temporal logic formula.
Traditionally, reactive synthesis is defined for systems with Boolean input and output …

Smart contracts are small but highly security-critical programs that implement wallets, token
systems, auctions, crowd funding systems, elections, and other multi-party transactions on …

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 …

A language-agnostic approach for type-based component-oriented software synthesis is
developed from the fundamental principles of abstract algebra and Combinatory Logic. It …