( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Properties in Computation Tree Logic.

, и . CoRR, (2023)

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.

Daniel Neider

Hermann Daniel Neider

Rolf Neider

Christian Neider

Rudolf Neider

 

Другие публикации лиц с тем же именем

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