- Scheduling Models for Multi-Agent Path Finding2017 | Faculty of Mathematics and Physics
- Robust Multi-Agent Path Finding and Executing2020 | Faculty of Mathematics and Physics
- Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver2017 | Faculty of Mathematics and Physics
- k-Robust Multi-Agent Path Finding2017 | Faculty of Mathematics and Physics
- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Faculty of Mathematics and Physics
- On Modelling Multi-Agent Path Finding as a Classical Planning Problem2020 | Faculty of Mathematics and Physics
- From Classical to Colored Multi-Agent Path Finding2021 | Faculty of Mathematics and Physics
- An Emprical Comparison of the Hardness of Multi-agent Path Finding under the Makespan and the Sum of Costs Objectives2016 | Faculty of Mathematics and Physics
- OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots2021 | Faculty of Mathematics and Physics
- Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective2016 | Faculty of Mathematics and Physics
- Combining Strengths of Optimal Multi-Agent Path Finding Algorithms2019 | Faculty of Mathematics and Physics
- Robust Multi-Agent Path Finding2018 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Ozobots2019 | Faculty of Mathematics and Physics
- Colored Multi-Agent Path Finding: Solving Approaches2021 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Real Robots +12019 | Faculty of Mathematics and Physics
- Multi-agent Path Finding on Real Robots: First Experience with Ozobots2018 | Faculty of Mathematics and Physics
- Multi-agent path finding on real robots2019 | Faculty of Mathematics and Physics
- MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots2020 | Faculty of Mathematics and Physics
- New Flow-based Heuristic for Search Algorithms Solving Multi-agent Path Finding2017 | Faculty of Mathematics and Physics
- Variants of independence detection in SAT-based optimal multi-agent path finding2017 | Faculty of Mathematics and Physics
- A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs2018 | Faculty of Mathematics and Physics
- On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective2019 | Faculty of Mathematics and Physics