( en | de | ru )

 

Disambiguierung von "Neider, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Benchmarks for Automata Learning and Conformance Testing.

, , , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 390-416. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Daniel Neider

Hermann Daniel Neider

Rolf Neider

Christian Neider

Rudolf Neider

 

Weitere Publikationen von Autoren mit dem selben Namen

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