Gideon Geier | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Bernd Finkbeiner
77 publications
Felix Klein
9 publications
Noemi Passing
7 publications
Philippe Heim
4 publications

research

∙ 03/15/2021

Specification Decomposition for Reactive Synthesis (Full Version)

Reactive synthesis is the task of automatically deriving an implementati...

0 Bernd Finkbeiner, et al. ∙

research

∙ 01/18/2021

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

We present Syntroids, a case study for the automatic synthesis of hardwa...

0 Gideon Geier, et al. ∙