56 citations · 105 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…
cs.FL2015
Pure Strategies in Imperfect Information Stochastic Games
Arnaud Carayol, Christof Löding, Olivier Serre
We consider imperfect information stochastic games where we require the players to use pure (i.e. non randomised) strategies. We consider reachability, safety, Büchi and co-Büchi o…