Research Assistant

Gideon Geier

Email

Address

Kaiserstraße 170-174
66386 Sankt Ingbert (Germany)

Publications by Gideon Geier

Year 2019

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Conference / Medium

FMCAD
Formal Methods in Computer Aided Design, FMCAD

Tags

Reliable Security Guarantees

Authors

Download Visit Detail Page