140 citations · 324 across the 56 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 51 cited
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, Pranav Garg +2
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision…
cs.GT2017
Synthesizing Optimally Resilient Controllers
Daniel Neider, Alexander Weinert, Martin Zimmermann
Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermitte…