Up a level |
Neider, Daniel, Rabinovich, Roman and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2012)
Down the Borel Hierarchy: Solving Muller Games via Safety Games.
.
Neider, Daniel, Rabinovich, Roman and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2014)
Down the Borel hierarchy: Solving Muller games via safety games.
THEORETICAL COMPUTER SCIENCE, 560 (P3).
pp. 219-234.
Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020)
From LTL to rLTL monitoring.
In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control.
Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2022)
From LTL to rLTL monitoring: improved monitorability through robust semantics.
FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3).
pp. 170-204.
Neider, Daniel, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2019)
Optimally Resilient Strategies in Pushdown Safety Games.
In: MFCS 2020.
Neider, Daniel, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2019)
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any
Two for Free.
In: GandALF 2019, Bordeaux.
Neider, Daniel, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2022)
Robust, expressive, and quantitative linear temporal logics: Pick any two for free.
INFORMATION AND COMPUTATION, 285.
p. 104810.
Nayak, Satya Prakash, Neider, Daniel and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2022)
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.
.
Neider, Daniel, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2017)
Synthesizing Optimally Resilient Controllers.
In: CSL 2018.
Neider, Daniel, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2019)
Synthesizing optimally resilient controllers.
ACTA INFORMATICA, 57 (1-2).
pp. 195-221.