119 citations · 468 across the 38 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 8 cited
SAT-Based Synthesis Methods for Safety Specs
Roderick Bloem, Robert Koenighofer, Martina Seidl
Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented wi…
cs.LO2013★ 2 cited
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer +2
It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controlle…