يعرض 1 - 10 نتائج من 12 نتيجة بحث عن '"Gaglione, Jean-Raphael"', وقت الاستعلام: 0.75s تنقيح النتائج
  1. 1
    تقرير
    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

    أضف إلى المفضلة
  2. 2
    تقرير
    Specification-Driven Video Search via Foundation Models and Formal Verification

    المؤلفون: Yang, Yunhao, Gaglione, Jean-Raphaël, Chinchali, Sandeep, Topcu, Ufuk

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

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

    المؤلفون: Paliwal, Yash, Roy, Rajarshi, Gaglione, Jean-Raphaël, Baharisangari, Nasim, Neider, Daniel, Duan, Xiaoming, Topcu, Ufuk, Xu, Zhe

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

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

    أضف إلى المفضلة
  4. 4
    تقرير
    Reinforcement Learning With Reward Machines in Stochastic Games

    المؤلفون: Hu, Jueming, Gaglione, Jean-Raphael, Wang, Yanze, Xu, Zhe, Topcu, Ufuk, Liu, Yongming

    مصطلحات موضوعية: Computer Science - Multiagent Systems, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Computer Science - Machine Learning

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Automaton-Based Representations of Task Knowledge from Generative Language Models

    المؤلفون: Yang, Yunhao, Gaglione, Jean-Raphaël, Neary, Cyrus, Topcu, Ufuk

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

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Learning Temporal Logic Properties: an Overview of Two Recent Methods

    المؤلفون: Gaglione, Jean-Raphaël, Roy, Rajarshi, Baharisangari, Nasim, Neider, Daniel, Xu, Zhe, Topcu, Ufuk

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning, I.2, F.4.3

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Learning Interpretable Temporal Properties from Positive Examples Only

    المؤلفون: Roy, Rajarshi, Gaglione, Jean-Raphaël, Baharisangari, Nasim, Neider, Daniel, Xu, Zhe, Topcu, Ufuk

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Uncertainty-Aware Signal Temporal Logic Inference

    المؤلفون: Baharisangari, Nasim, Gaglione, Jean-Raphaël, Neider, Daniel, Topcu, Ufuk, Xu, Zhe

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

    المؤلفون: Gaglione, Jean-Raphaël, Neider, Daniel, Roy, Rajarshi, Topcu, Ufuk, Xu, Zhe

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory

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

    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Uncertainty-Aware Signal Temporal Logic Inference

    المؤلفون: Baharisangari, NasimAff12, Gaglione, Jean-RaphaëlAff13, Neider, DanielAff14, Topcu, UfukAff13, Xu, ZheAff12

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Bloem, Roderick, editorAff8, Dimitrova, Rayna, editorAff9, Fan, Chuchu, editorAff10, Sharygina, Natasha, editorAff11

    المصدر: Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers. 13124:61-85

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