Send email Copy Email Address
Placeholder
Research Assistant

Gideon Geier

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Gideon Geier

Year 2021

2021-05-24

Specification Decomposition for Reactive Synthesis

Conference / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2019

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Conference / Medium

FMCAD
Formal Methods in Computer Aided Design, FMCAD

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page