Gideon Geier | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙