Send email Copy Email Address
Placeholder
Research Assistant

Gideon Geier

Email

Address

Am Halberg 3
66121 Saarbrücken (Germany)

Publications by Gideon Geier

Year 2019

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Conference / Medium

Formal Methods in Computer Aided Design, FMCAD

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page