( en | de | ru )

 

Disambiguation of "Neider, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Learning Interpretable Temporal Properties from Positive Examples Only.

, , , , , and . CoRR, (2022)

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)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)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 264-288. Springer, (2024)Robust Computation Tree Logic., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 538-556. Springer, (2022)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)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)Defending Our Privacy with Backdoors., , , and . ECAI, volume 392 of Frontiers in Artificial Intelligence and Applications, page 1832-1839. IOS Press, (2024)Reinforcement Learning with Stochastic Reward Machines., , and . AAAI, page 6429-6436. AAAI Press, (2022)