Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Down the Borel hierarchy: Solving Muller games via safety games.

D. Neider, R. Rabinovich, and M. Zimmermann. Theor. Comput. Sci., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Daniel Holder University of Stuttgart

Optimisation Approach for the Convergence Process of Design and Technology in Automotive DevelopmentF. Reichelt, D. Holder, and T. Maier. Interdisciplinary Practice in Industrial Design : Proceedings of the 14th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, 100, page 109-118. New York, AHFE Open Access, (2023)

Daniel Holder University of Stuttgart

Daniel Sollich University of Stuttgart

Daniel Mezger University of Stuttgart

Univ. -Prof. Dr. Daniel Hole University of Stuttgart

Other publications of authors with the same name

ICE: A Robust Framework for Learning Invariants.P. Garg, C. Löding, P. Madhusudan, and D. Neider. CAV, volume 8559 of Lecture Notes in Computer Science, page 69-87. Springer, (2014)From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.C. Mascle, D. Neider, M. Schwenger, P. Tabuada, A. Weinert, and M. Zimmermann. CoRR, (2018)Robust Linear Temporal Logic.P. Tabuada, and D. Neider. CoRR, (2015)Horn-ICE learning for synthesizing invariants and contracts.P. Ezudheen, D. Neider, D. D'Souza, P. Garg, and P. Madhusudan. Proc. ACM Program. Lang., 2 (OOPSLA): 131:1-131:25 (2018)Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free.D. Neider, A. Weinert, and M. Zimmermann. CoRR, (2019)Invariant Synthesis for Incomplete Verification Engines.D. Neider, P. Garg, P. Madhusudan, S. Saha, and D. Park. CoRR, (2017)Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.P. Garg, C. Löding, P. Madhusudan, and D. Neider. Formal Methods in System Design, 47 (1): 120-157 (2015)MediSign - Secure Pharmaceutic Distribution.M. Möllers, E. Müller, D. Neider, and L. Seweryn. Informatiktage, volume S-3 of LNI, page 113-115. GI, (2006)Optimally Resilient Strategies in Pushdown Safety Games.D. Neider, P. Totzke, and M. Zimmermann. CoRR, (2019)Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic.T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada. ACM Trans. Comput. Log., 23 (2): 8:1-8:39 (2022)