- Robotic Path Planning Algorithms
- AI-based Problem Solving and Planning
- Constraint Satisfaction and Optimization
- Data Management and Algorithms
- Optimization and Search Problems
- Metaheuristic Optimization Algorithms Research
- Logic, Reasoning, and Knowledge
- Vehicle Routing Optimization Methods
- Artificial Intelligence in Games
- Advanced Database Systems and Queries
- Multi-Agent Systems and Negotiation
- Machine Learning and Algorithms
- Transportation and Mobility Innovations
- Robotics and Sensor-Based Localization
- Algorithms and Data Compression
- Multimodal Machine Learning Applications
- Formal Methods in Verification
- Auction Theory and Applications
- Evolutionary Algorithms and Applications
- Web Data Mining and Analysis
- Video Analysis and Summarization
- Advanced Malware Detection Techniques
- Advanced Multi-Objective Optimization Algorithms
- Complexity and Algorithms in Graphs
- Advanced Image and Video Retrieval Techniques
Ben-Gurion University of the Negev
2015-2024
Palo Alto Research Center
2022
Czech Technical University in Prague
2022
University of Denver
2014
University of Alberta
2014
University of Southern California
2010
Deutsche Telekom (United Kingdom)
2007
Bar-Ilan University
2002-2006
Grids with blocked and unblocked cells are often used to represent terrain in robotics video games. However, paths formed by grid edges can be longer than true shortest the since their headings artificially constrained. We present two new correct complete any-angle path-planning algorithms that avoid this shortcoming. Basic Theta* Angle-Propagation both variants of A* propagate information along without constraining edges. is simple understand implement, fast finds short paths. it not...
The multi-agent pathfinding problem (MAPF) is the fundamental of planning paths for multiple agents, where key constraint that agents will be able to follow these concurrently without colliding with each other. Applications MAPF include automated warehouses, autonomous vehicles, and robotics. Research on has been flourishing in past couple years. Different research papers assume different sets assumptions, e.g., whether can traverse same road at time, have objective functions, minimize...
Multi-agent pathfinding (MAPF) is an area of expanding research interest. At the core this area, numerous diverse search-based techniques were developed in past 6 years for optimally solving MAPF under sum-of-costs objective function. In paper we survey these techniques, while placing them into wider context field research. Finally, provide analytical and experimental comparisons that show no algorithm dominates all others circumstances. We conclude by listing important future directions.
The task in the multi-agent path finding problem (MAPF) is to find paths for multiple agents, each with a different start and goal position, such that agents do not collide. A successful optimal MAPF solver conflict-based search (CBS) algorithm. CBS two level algorithm where special conditions ensure it returns solution. Solving optimally proven be NP-hard, hence all other solvers scale up. We propose several ways relax optimality of trading solution quality runtime as well...
We explore a method for computing admissible heuristic evaluation functions search problems. It utilizes pattern databases, which are precomputed tables of the exact cost solving various subproblems an existing problem. Unlike standard database heuristics, however, we partition our problems into disjoint subproblems, so that costs different can be added together without overestimating original Previously, showed how to statically sliding-tile puzzles groups tiles compute heuristic, using...
Distributed constraint optimization (DCOP) problems are a popular way of formulating and solving agent-coordination problems. A DCOP problem is where several agents coordinate their values such that the sum resulting costs minimal. It often desirable to solve with memory-bounded asynchronous algorithms. We introduce Branch-and-Bound ADOPT (BnB-ADOPT), search algorithm uses message-passing communication framework (Modi, Shen, Tambe, Yokoo, 2005), well known algorithm, but changes strategy...
When solving instances of problem domains that feature a large branching factor, A* may generate number nodes whose cost is greater than the optimal solution. We designate such as surplus. Generating surplus and adding them to OPEN list dominate both time memory search. A recently introduced variant called Partial Expansion (PEA*) deals with aspect this problem. expanding node n, PEA* generates all its children puts into only f = (n). n re-inserted in -cost best discarded child. This...
Conflict-Based Search (CBS) and its enhancements are among the strongest algorithms for multi-agent path-finding problem. However,existing variants of CBS do not use any heuristics that estimate future work. In this paper, we introduce different admissible by aggregating cardinal conflicts agents. our experiments, with these outperforms previous state-of-the-art up to a factor five.
Conflict-Based Search (CBS) and its enhancements are among the strongest algorithms for Multi-Agent Path Finding. Recent work introduced an admissible heuristic to guide high-level search of CBS. In this work, we prove limitation heuristic, as it is based on cardinal conflicts only. We then introduce two new heuristics by reasoning about pairwise dependencies between agents. Empirically, CBS with either significantly improves success rate over recent reduces number expanded nodes runtime up...
Multi-Agent Path Finding (MAPF) has been widely studied in the AI community. For example, Conflict-Based Search (CBS) is a state-of-the-art MAPF algorithm based on twolevel tree-search. However, previous algorithms assume that an agent occupies only single location at any given time, e.g., cell grid. This limits their applicability many real-world domains have geometric agents lieu of point agents. Geometric are referred to as “large” because they can occupy multiple points same time. In...
Conflict-Based Search (CBS) and its generalization, Meta-Agent CBS are amongst the strongest newly introduced algorithms for Multi-Agent Path Finding. This paper introduces ICBS, an improved version of CBS. ICBS incorporates three orthogonal improvements to which systematically described studied. Experimental results show that each these reduces runtime over basic by up 20x in many cases. When all combined, even larger improvement is achieved, producing state-ofthe art a number domains.
We present a new two-level search algorithm for optimal multi-agent path finding called Conflict Based Search (CBS). At the high level, is performed on tree based conflicts between agents. low only single agent at time. Experimental results various problems shows speedup of up to full order magnitude over previous approaches.
In the multi agent path finding problem (MAPF) paths should be found for several agents, each with a different start and goal position such that agents do not collide. Previous optimal solvers applied global A*-based searches. We present new search algorithm called Conflict Based Search (CBS). CBS is two-level algorithm. At high level, performed on tree based conflicts between agents. low only single at time. many cases this reformulation enables to examine fewer states than A* while still...
A* is often described as being `optimal', in that it expands the minimum number of unique nodes. But, may generate many extra nodes which are never expanded. This a performance loss, especially when branching factor large. Partial Expansion addresses this problem expanding node, n, by generating all children n but only storing with same f-cost n. re-inserted into OPEN list, next best child. paper introduces an enhanced version PEA* (EPEA*). Given priori domain knowledge, EPEA* generates...
Multi-agent path-finding (MAPF) is the problem of finding a plan for moving set agents from their initial locations to goals without collisions. Following this plan, however, may not be possible due unexpected events that delay some agents. In work, we propose holistic solution MAPF robust such delays. First, introduce notion k-robust which can executed even if limited number (k) delays occur. We sufficient and required conditions show how convert several solvers find plans. Then, execution...
The task in the multi-agent path finding problem (MAPF) isto find paths for multiple agents, each with a different startand goal position, such that agents do not collide. It is possibleto solve this optimally algorithms arebased on A* algorithm. Recently, we proposed an alternativealgorithm called Conflict-Based Search (CBS) (Sharonet al. 2012), which was shown to outperform A*-basedalgorithms some cases. CBS two-level Atthe high level, search performed tree based conflictsbetween agents....
Dijkstra's single-source shortest-path algorithm (DA) is one of the well-known, fundamental algorithms in computer science and related fields. DA commonly taught undergraduate courses. Uniform-cost search (UCS) a simple version best-first scheme which logically equivalent to DA. In this paper I compare two show their similarities differences. claim that UCS superior almost all aspects. It easier understand implement. Its time memory needs are also smaller. The reason universities classes...