Název: Redukční řešiče pro multiagentní plánování cest: porovnání modelů
Překlad názvu: Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models
Autoři: Ramesh, Samyuktha ; Švancara, Jiří (vedoucí práce) ; Barták, Roman (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: eng
Abstrakt: - Samyuktha Ramesh Thesis Title: Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models Multi-agent path finding (MAPF) is the problem of navigating a set of agents from their starting position to their respective goal position without any collisions. In this thesis, we provide an overview of the current approaches to solving MAPF. We implement six different encodings found in the literature using the Python programming language and the Glucose3 SAT solver. We run experiments on maps of different types and sizes to compare the performances of the encodings.
Klíčová slova: multi-agent pathfinding|reduction-based solvers|SAT|makespan; multi-agent pathfinding|reduction-based solvers|SAT|makespan

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/183059

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-532172


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce