16 citations · 50 across the 20 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2019
Optimally Resilient Strategies in Pushdown Safety Games
Daniel Neider, Patrick Totzke, Martin Zimmermann
Infinite-duration games with disturbances extend the classical framework of infinite-duration games, which captures the reactive synthesis problem, with a discrete measure of resil…
cs.GT2019
Learning-Based Synthesis of Safety Controllers
Daniel Neider, Oliver Markgraf
We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-p…