Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Pavel Surynek

Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes


Mar 08, 2021
Pavel Surynek


  Access Paper or Ask Questions

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


Sep 10, 2020
Pavel Surynek


  Access Paper or Ask Questions

At-Most-One Constraints in Efficient Representations of Mutex Networks


Jun 10, 2020
Pavel Surynek


  Access Paper or Ask Questions

Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings


Apr 25, 2020
Pavel Surynek

* arXiv admin note: text overlap with arXiv:1903.09820 

  Access Paper or Ask Questions

Multi-Agent Path Finding with Capacity Constraints


Jul 21, 2019
Pavel Surynek, T. K. Satish Kumar, Sven Koenig

* arXiv admin note: substantial text overlap with arXiv:1809.05959 and arXiv:1907.07631 

  Access Paper or Ask Questions

On the Tour Towards DPLL(MAPF) and Beyond


Jul 11, 2019
Pavel Surynek

* arXiv admin note: substantial text overlap with arXiv:1809.05959 

  Access Paper or Ask Questions

Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)


Mar 23, 2019
Pavel Surynek


  Access Paper or Ask Questions

A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach


Dec 28, 2018
Pavel Surynek


  Access Paper or Ask Questions

Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search


Sep 16, 2018
Pavel Surynek


  Access Paper or Ask Questions

Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT


Jun 25, 2018
Pavel Surynek


  Access Paper or Ask Questions

Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents


Sep 04, 2017
Marika Ivanová, Pavel Surynek, Diep Thi Ngoc Nguyen

* arXiv admin note: substantial text overlap with arXiv:1708.07285 

  Access Paper or Ask Questions

Area Protection in Adversarial Path-Finding Scenarios with Multiple Mobile Agents on Graphs: a theoretical and experimental study of target-allocation strategies for defense coordination


Aug 24, 2017
Marika Ivanová, Pavel Surynek


  Access Paper or Ask Questions

Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants


Jul 02, 2017
Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski


  Access Paper or Ask Questions

Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability


Oct 18, 2016
Pavel Surynek


  Access Paper or Ask Questions

Improvements in Sub-optimal Solving of the $(N^2-1)$-Puzzle via Joint Relocation of Pebbles and its Applications to Rule-based Cooperative Path-Finding


Oct 17, 2016
Pavel Surynek, Petr MichalĂ­k


  Access Paper or Ask Questions