7 citations · 19 across the 13 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
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…
cs.LO2017
VLDL Satisfiability and Model Checking via Tree Automata
Alexander Weinert
We present novel algorithms solving the satisfiability problem and the model checking problem for Visibly Linear Dynamic Logic (VLDL) in asymptotically optimal time via a reduction…
cs.GT2017
Quantitative Reductions and Vertex-Ranked Infinite Games (Full Version)
Alexander Weinert
We introduce quantitative reductions, a novel technique for structuring the space of quantitative games and solving them that does not rely on a reduction to qualitative games. We…