Pavel Surynek

8 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (15) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🐺 Lone Wolf (4) 🚀 Conference Pioneer

Conferences

AAAI (4) IJCAI (4)

Top co-authors

Ján Chudý (1) Martin Rameš (1) Sven Koenig (1) T. K. Satish Kumar (1) Davide Bonusi (1) Hang Ma (1) Adi Botea (1) Jiaoyang Li (1) Ariel Felner (1)

Keywords

multi-agent path finding (5) path planning (3) motion planning (2) graph algorithm (2) conflict-based search (2) multi-agent system (2) satisfiability modulo theories (2) polynomial time (1) collision avoidance (1) combinatorial search (1) mixed integer linear programming (1) hamiltonian path (1) robot navigation (1) collision-free path (1) multi-agent pathfinding (1) discrete planning (1) swarm robotics (1) optimal planning (1) sat solving (1) path finding (1)

Papers

Accessible Hardware Implementation for Multi-Agent Collective Construction AAAI 2025

Problem Compilation for Multi-Agent Path Finding: a Survey IJCAI 2022

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

ESO-MAPF: Bridging Discrete Planning and Continuous Execution in Multi-Agent Pathfinding AAAI 2021

Multi-Agent Path Finding for Large Agents AAAI 2019

Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories IJCAI 2019

Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract) IJCAI 2018

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