1 citations · 2 across the 6 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
Synthesizing Dominant Strategies for Liveness (Full Version)
Bernd Finkbeiner, Noemi Passing
Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cas…
cs.LO2022
Reactive Synthesis of Smart Contract Control Flows
Bernd Finkbeiner, Jana Hofmann, Florian Kohn +1
Smart contracts are small but highly error-prone programs that implement agreements between multiple parties. We present a reactive synthesis approach for the automatic constructio…