Number of items: 2.
Conference or Workshop Item (A Paper)
Finkbeiner, Bernd and Geier, Gideon and Passing, Noemi
(2021)
Specification Decomposition for Reactive Synthesis.
(In Press)
Geier, Gideon and Heim, Philippe and Klein, Felix and Finkbeiner, Bernd
(2019)
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.
This list was generated on Mon May 16 00:03:25 2022 CEST.