- k-Robust Multi-Agent Path Finding2017 | Faculty of Mathematics and Physics
- Robust Multi-Agent Path Finding2018 | Faculty of Mathematics and Physics
- On Propositional Encodings of Cooperative Path-finding2012 | Faculty of Mathematics and Physics
- Adversarial Cooperative Path-Finding: A First View2013 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Ozobots2019 | Faculty of Mathematics and Physics
- Robust multi-agent path finding2018 | Faculty of Mathematics and Physics
- Optimal Cooperative Path-Finding with Generalized Goals in Difficult Cases2013 | Faculty of Mathematics and Physics
- Adversarial Multi-Agent Path Finding is Intractable2021 | Faculty of Mathematics and Physics
- A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints2012 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Biconnected Directed Graphs2015 | Faculty of Mathematics and Physics
- Solving Abstract Cooperative Path-Finding in Densely Populated Environments2014 | Faculty of Mathematics and Physics
- Multi-Agent Path Finding on Real Robots2019 | Faculty of Mathematics and Physics
- Scheduling Models for Multi-Agent Path Finding2017 | Faculty of Mathematics and Physics
- Mutex reasoning in cooperative path finding modeled as propositional satisfiability2013 | Faculty of Mathematics and Physics
- On Modelling Multi-Agent Path Finding as a Classical Planning Problem +12020 | Faculty of Mathematics and Physics
- Contingent Planning for Robust Multi-Agent Path Finding +12021 | Faculty of Mathematics and Physics
- Adversarial Cooperative Path-finding: Complexity and Algorithms2014 | Faculty of Mathematics and Physics
- Robust Multi-Agent Path Finding and Executing2020 | Faculty of Mathematics and Physics
- From Classical to Colored Multi-Agent Path Finding2021 | Faculty of Mathematics and Physics
- Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally2015 | Faculty of Mathematics and Physics
- Combining Strengths of Optimal Multi-Agent Path Finding Algorithms2019 | Faculty of Mathematics and Physics
- Colored Multi-Agent Path Finding: Solving Approaches2021 | Faculty of Mathematics and Physics
- Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More2014 | Faculty of Mathematics and Physics
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Faculty of Mathematics and Physics
- OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots2021 | Faculty of Mathematics and Physics
- The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems2014 | Faculty of Mathematics and Physics
- Variants of independence detection in SAT-based optimal multi-agent path finding2017 | 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