Gideon Geier

According to our database, Gideon Geier authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Specification decomposition for reactive synthesis.

Bernd Finkbeiner, Gideon Geier, Noemi Passing

Innov. Syst. Softw. Eng., December, 2023

2021

Specification Decomposition for Reactive Synthesis (Full Version).

Bernd Finkbeiner, Gideon Geier, Noemi Passing

CoRR, 2021

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.

Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019