Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F19%3A00333582" target="_blank" >RIV/68407700:21240/19:00333582 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)

Popis výsledku v původním jazyce

We address a variant of multi-agent path finding(MAPF) with continuous time and geometric agents. The standard MAPF is a task of navigating agents in an undirected graph from given starting vertices to given goals so that agents do not collide. In the continuous version (MAPFR), agents move in then-dimensional Euclidean space along straight lines that inter-connect predefined positions. We present a new solving ap-proach based on satisfiability modulo theories(SMT) to obtain makespan optimal solutions. Our SMT-based approach for MAPFR called SMT-CBSR reformulates the Conflict-based Search (CBS) algorithm in terms of SMT concepts.

Název v anglickém jazyce

Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)

Popis výsledku anglicky

We address a variant of multi-agent path finding(MAPF) with continuous time and geometric agents. The standard MAPF is a task of navigating agents in an undirected graph from given starting vertices to given goals so that agents do not collide. In the continuous version (MAPFR), agents move in then-dimensional Euclidean space along straight lines that inter-connect predefined positions. We present a new solving ap-proach based on satisfiability modulo theories(SMT) to obtain makespan optimal solutions. Our SMT-based approach for MAPFR called SMT-CBSR reformulates the Conflict-based Search (CBS) algorithm in terms of SMT concepts.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA19-17966S" target="_blank" >GA19-17966S: intALG-MAPFg: Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the Twelfth International Symposium on Combinatorial Search

ISBN

978-1-57735-808-4

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

200-201

Název nakladatele

Association for the Advancement of Artificial Intelligence (AAAI)

Místo vydání

Palo Alto, California

Místo konání akce

Napa, California

Datum konání akce

16. 7. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—