Graeme Gange

Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding

Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J Stuckey, Sven Koenig

Journal article  |  2022  |  Proceedings of the AAAI Conference on Artificial Intelligence

Multi-Agent Path Finding (MAPF) is the problem of finding collision-free paths for multiple agents that minimize the sum of path c..

Multi-Agent Path Finding with Temporal Jump Point Search

Shuli Hu, Daniel D Harabor, Graeme Gange, Peter J Stuckey, Nathan R Sturtevant

Journal article  |  2022  |  Proceedings of the International Conference on Automated Planning and Scheduling

Temporal Jump Point Search (JPST) is a recently introduced algorithm for grid-optimal pathfinding among dynamic temporal obstacles..

Coupling Different Integer Encodings for SAT

Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J Dekker, Peter J Stuckey

Book Chapter  |  2022  |  Lecture Notes in Computer Science

Pairwise symmetry reasoning for multi-agent path finding search

Jiaoyang Li, Daniel Harabor, Peter J Stuckey, Hang Ma, Graeme Gange, Sven Koenig

Journal article  |  2021  |  Artificial Intelligence

Transformation-Enabled Precondition Inference

Bishoksan Kafle, Graeme Gange, Peter J Stuckey, Peter Schachte, Harald Sondergaard

Journal article  |  2021  |  THEORY AND PRACTICE OF LOGIC PROGRAMMING

Precondition inference is a non-trivial problem with important applications in program analysis and verification. We present a nov..

New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding

Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter Stuckey, Hang Ma, Sven Koenig

Journal article  |  2021  |  Proceedings of the International Symposium on Combinatorial Search

We consider two new types of pairwise path symmetries which appear in the context of Multi-Agent Path Finding (MAPF). The first of..

A Fresh Look at Zones and Octagons

Graeme Gange, Zequn Ma, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2021  |  ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Zones and Octagons are popular abstract domains for static program analysis. They enable the automated discovery of simple numeric..

ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding

Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J Stuckey, Sven Koenig

Journal article  |  2021  |  Proceedings of the International Symposium on Combinatorial Search

Multi-Agent Path Finding (MAPF) is the problem of finding collision-free paths for multiple agents. CBS is a leading optimal two-l..

Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation

Graeme Gange, Daniel Harabor, Peter J Stuckey

Journal article  |  2021  |  Proceedings of the International Conference on Automated Planning and Scheduling

Conflict-based Search (CBS) is a effective approach to optimal multi-agent path finding. However, performance of CBS approaches de..

Jump Point Search with Temporal Obstacles

Shuli Hu, Daniel D Harabor, Graeme Gange, Peter J Stuckey, Nathan R Sturtevant

Journal article  |  2021  |  Proceedings of the International Conference on Automated Planning and Scheduling

In 4-connected grid-based path planning one often needs to account for temporal and moving obstacles: ones that appear, disappear ..