16 citations · 58 across the 31 of their papers we have counts for
3 papers · 1 filter
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…
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider, Alexander Weinert, Martin Zimmermann
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have b…
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…