- Coordinated Collision-free Movement of Groups of Agents2022 | Faculty of Mathematics and Physics
- Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models2016 | 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
