140 citations · 324 across the 56 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Robust Linear Temporal Logic
Paulo Tabuada, Daniel Neider
Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guara…
cs.LO2015
Abstract Learning Frameworks for Synthesis
Christof Löding, P. Madhusudan, Daniel Neider
We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely appl…