( en | de | ru )

 

Disambiguation of "Neider, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

, , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 264-288. Springer, (2024)

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.

Daniel Neider

Hermann Daniel Neider

Rolf Neider

Christian Neider

Rudolf Neider

 

Other publications of authors with the same name

Optimally Resilient Strategies in Pushdown Safety Games., , and . CoRR, (2019)Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic., , , and . ACM Trans. Comput. Log., 23 (2): 8:1-8:39 (2022)Robust Computation Tree Logic., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 538-556. Springer, (2022)Uncertainty-Aware Signal Temporal Logic Inference., , , , and . VSTTE, volume 13124 of Lecture Notes in Computer Science, page 61-85. Springer, (2021)Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 149-173. Springer, (2022)Optimally Resilient Strategies in Pushdown Safety Games., , and . MFCS, volume 170 of LIPIcs, page 74:1-74:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 264-288. Springer, (2024)Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment., , , and . CLeaR, volume 236 of Proceedings of Machine Learning Research, page 643-664. PMLR, (2024)Defending Our Privacy With Backdoors., , , and . CoRR, (2023)Reinforcement Learning with Temporal-Logic-Based Causal Diagrams., , , , , , , and . CD-MAKE, volume 14065 of Lecture Notes in Computer Science, page 123-140. Springer, (2023)