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

Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner

Browse the full FMCAD paper archive.