Picture for Pavel Surynek

Pavel Surynek

Multi-agent Path Finding in Continuous Environment

Add code
Sep 16, 2024
Viaarxiv icon

Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding

Add code
Jan 20, 2023
Viaarxiv icon

Heuristically Guided Compilation for Multi-Agent Path Finding

Add code
Dec 13, 2022
Viaarxiv icon

Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters

Add code
Jul 06, 2022
Figure 1 for Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters
Figure 2 for Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters
Figure 3 for Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters
Figure 4 for Plan Execution for Multi-Agent Path Finding with Indoor Quadcopters
Viaarxiv icon

DPLL: an Integration of Multi-Agent Path Finding and SAT Solving Technologies

Add code
Nov 11, 2021
Figure 1 for DPLL: an Integration of Multi-Agent Path Finding and SAT Solving Technologies
Figure 2 for DPLL: an Integration of Multi-Agent Path Finding and SAT Solving Technologies
Figure 3 for DPLL: an Integration of Multi-Agent Path Finding and SAT Solving Technologies
Figure 4 for DPLL: an Integration of Multi-Agent Path Finding and SAT Solving Technologies
Viaarxiv icon

Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities

Add code
Apr 23, 2021
Viaarxiv icon

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

Add code
Mar 08, 2021
Figure 1 for Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes
Figure 2 for Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes
Figure 3 for Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes
Figure 4 for Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes
Viaarxiv icon

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

Add code
Sep 10, 2020
Figure 1 for Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering
Figure 2 for Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering
Figure 3 for Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering
Figure 4 for Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering
Viaarxiv icon

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

Add code
Jun 10, 2020
Figure 1 for At-Most-One Constraints in Efficient Representations of Mutex Networks
Figure 2 for At-Most-One Constraints in Efficient Representations of Mutex Networks
Figure 3 for At-Most-One Constraints in Efficient Representations of Mutex Networks
Figure 4 for At-Most-One Constraints in Efficient Representations of Mutex Networks
Viaarxiv icon

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

Add code
Apr 25, 2020
Figure 1 for Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings
Figure 2 for Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings
Figure 3 for Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings
Figure 4 for Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings
Viaarxiv icon