يعرض 1 - 10 نتائج من 167 نتيجة بحث عن '"Neider, Daniel"', وقت الاستعلام: 1.09s تنقيح النتائج
  1. 1
    تقرير
    Learning Branching-Time Properties in CTL and ATL via Constraint Solving

    المؤلفون: Bordais, Benjamin, Neider, Daniel, Roy, Rajarshi

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2406.19890

    أضف إلى المفضلة
  2. 2
    تقرير
    VeriFlow: Modeling Distributions for Neural Network Verification

    المؤلفون: Zaid, Faried Abu, Neider, Daniel, Yalçıner, Mustafa

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

    URL الوصول: http://arxiv.org/abs/2406.14265

    أضف إلى المفضلة
  3. 3
    تقرير
    Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine

    المؤلفون: Alsadat, Shayan Meshkat, Gaglione, Jean-Raphael, Neider, Daniel, Topcu, Ufuk, Xu, Zhe

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language

    URL الوصول: http://arxiv.org/abs/2402.07069

    أضف إلى المفضلة
  4. 4
    تقرير
    Learning Temporal Properties is NP-hard

    المؤلفون: Bordais, Benjamin, Neider, Daniel, Roy, Rajarshi

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2312.11403

    أضف إلى المفضلة
  5. 5
    تقرير
    Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

    المؤلفون: Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael, Neider, Daniel, Perez, Guillermo A.

    مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2310.17410

    أضف إلى المفضلة
  6. 6
    تقرير
    Inferring Properties in Computation Tree Logic

    المؤلفون: Roy, Rajarshi, Neider, Daniel

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

    URL الوصول: http://arxiv.org/abs/2310.13778

    أضف إلى المفضلة
  7. 7
    تقرير
    Defending Our Privacy With Backdoors

    المؤلفون: Hintersdorf, Dominik, Struppek, Lukas, Neider, Daniel, Kersting, Kristian

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Computation and Language, Computer Science - Cryptography and Security, Computer Science - Computer Vision and Pattern Recognition

    URL الوصول: http://arxiv.org/abs/2310.08320

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Robust computation tree logic

    المؤلفون: Nayak, Satya PrakashAff1, IDs11334024005527_cor1, Neider, DanielAff2, Aff3, IDs11334024005527_cor2, Roy, RajarshiAff1, IDs11334024005527_cor3, Zimmermann, MartinAff4, IDs11334024005527_cor4

    المصدر: Innovations in Systems and Software Engineering: A NASA Journal. :1-23

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Expanding the Horizon of Linear Temporal Logic Inference for Explainability

    المؤلفون: Neider, Daniel, Roy, Rajarshi

    المصدر: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2022 IEEE 30th. :103-107 Aug, 2022

    Relation: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    تقرير
    Robust Alternating-Time Temporal Logic

    المؤلفون: Murano, Aniello, Neider, Daniel, Zimmermann, Martin

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2307.10885

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء