- Coordinated Collision-free Movement of Groups of Agents2022 | Matematicko-fyzikální fakulta
- Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models2016 | Matematicko-fyzikální fakulta
- On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective2019 | Matematicko-fyzikální fakulta