يعرض 1 - 10 نتائج من 251 نتيجة بحث عن '"Jagannathan, Suresh"', وقت الاستعلام: 1.06s تنقيح النتائج
  1. 1
    تقرير
    A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

    المؤلفون: Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0, F.3.1

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

    أضف إلى المفضلة
  2. 2
    تقرير
    Manipulating Neural Path Planners via Slight Perturbations

    المؤلفون: Xiong, Zikang, Jagannathan, Suresh

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

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs

    المؤلفون: Mishra, Ashish, Jagannathan, Suresh

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

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

    أضف إلى المفضلة
  4. 4
    تقرير
    Covering All the Bases: Type-Based Verification of Test Input Generators

    المؤلفون: Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, Jagannathan, Suresh

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

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications

    المؤلفون: Xiong, Zikang, Lawson, Daniel, Eappen, Joe, Qureshi, Ahmed H., Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Specification-Guided Component-Based Synthesis from Effectful Libraries

    المؤلفون: Mishra, Ashish, Jagannathan, Suresh

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

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

    أضف إلى المفضلة
  7. 7
    تقرير
    DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems

    المؤلفون: Eappen, Joe, Jagannathan, Suresh

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising

    المؤلفون: Xiong, Zikang, Eappen, Joe, Zhu, He, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Model-free Neural Lyapunov Control for Safe Robot Navigation

    المؤلفون: Xiong, Zikang, Eappen, Joe, Qureshi, Ahmed H., Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Machine Learning, I.2.9

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

    أضف إلى المفضلة
  10. 10
    مؤتمر
    Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

    المؤلفون: Lin, Xuankang, Zhu, He, Samanta, Roopsha, Jagannathan, Suresh

    المصدر: 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :148-157 Sep, 2020

    Relation: 2020 Formal Methods in Computer Aided Design (FMCAD)

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