يعرض 1 - 20 نتائج من 389 نتيجة بحث عن '"Surynek, Pavel"', وقت الاستعلام: 0.54s تنقيح النتائج
  1. 1
    Report
    Multi-agent Path Finding in Continuous Environment

    المؤلفون: Janovská, Kristýna, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  2. 2
    Report
    Reaching New Heights in Multi-Agent Collective Construction

    المؤلفون: Rameš, Martin, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  3. 3
    Report
    Action Duration Generalization for Exact Multi-Agent Collective Construction

    المؤلفون: Rameš, Martin, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  4. 4
    Report
    Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic

    المؤلفون: Kolárik, Tomáš, Ratschan, Stefan, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  5. 5
    Report
    Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  6. 6
    Report
    Heuristically Guided Compilation for Multi-Agent Path Finding

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  7. 7
    Report
    Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters

    المؤلفون: Kulhan, Matouš, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  8. 8
    Report
    DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies

    المؤلفون: Čapek, Martin, Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  9. 9
    Report
    Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  10. 10
    Report
    Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  11. 11
    Report
    Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  12. 12
    Report
    At-Most-One Constraints in Efficient Representations of Mutex Networks

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  13. 13
    Report
    Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  14. 14
    Report
    Multi-Agent Path Finding with Capacity Constraints

    المؤلفون: Surynek, Pavel, Kumar, T. K. Satish, Koenig, Sven

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

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

    View record in Arxiv

    أضف إلى المفضلة
  15. 15
    Report
    On the Tour Towards DPLL(MAPF) and Beyond

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  16. 16
    Report
    Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  17. 17
    Report
    A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  18. 18
    Report
    Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  19. 19
    Report
    Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT

    المؤلفون: Surynek, Pavel

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

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

    View record in Arxiv

    أضف إلى المفضلة
  20. 20
    Report
    Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents

    المؤلفون: Ivanová, Marika, Surynek, Pavel, Nguyen, Diep Thi Ngoc

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

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

    View record in Arxiv

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