Specification decomposition for reactive synthesis
Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi
Published in Innovations in systems and software engineering (2023)
Published in Innovations in systems and software engineering (2023)
Get full text
Journal Article
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd
Published in 2019 Formal Methods in Computer Aided Design (FMCAD) (01.10.2019)
Published in 2019 Formal Methods in Computer Aided Design (FMCAD) (01.10.2019)
Get full text
Conference Proceeding