Surynek, Pavel

12 publications

AAAI 2025 Accessible Hardware Implementation for Multi-Agent Collective Construction Martin Rames, Pavel Surynek

JAIR 2022 Migrating Techniques from Search-Based Multi-Agent Path Finding Solvers to SAT-Based Approach Pavel Surynek, Roni Stern, Eli Boyarski, Ariel Felner

IJCAI 2022 Problem Compilation for Multi-Agent Path Finding: A Survey Pavel Surynek

AAAI 2021 ESO-MAPF: Bridging Discrete Planning and Continuous Execution in Multi-Agent Pathfinding Ján Chudý, Pavel Surynek

AAAI 2021 Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering Pavel Surynek

AAAI 2019 Multi-Agent Path Finding for Large Agents Jiaoyang Li, Pavel Surynek, Ariel Felner, Hang Ma, T. K. Satish Kumar, Sven Koenig

IJCAI 2019 Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding Through Satisfiability Modulo Theories Pavel Surynek

JAIR 2018 Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs Adi Botea, Davide Bonusi, Pavel Surynek

IJCAI 2018 Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract) Adi Botea, Davide Bonusi, Pavel Surynek

AAAI 2015 Multi-Agent Path Finding on Strongly Biconnected Digraphs Adi Botea, Pavel Surynek

IJCAI 2015 Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally Pavel Surynek

AAAI 2010 An Optimization Variant of Multi-Robot Path Planning Is Intractable Pavel Surynek