Gideon Geier

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

Collaborative distances:

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

2021

Specification Decomposition for Reactive Synthesis (Full Version).

Bernd Finkbeiner, Gideon Geier, Noemi Passing

CoRR, 2021

Specification Decomposition for Reactive Synthesis.

Bernd Finkbeiner, Gideon Geier, Noemi Passing

Proceedings of the NASA Formal Methods - 13th International Symposium, 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