- Towards a Safer Planning and Execution Concept2017 | Matematicko-fyzikální fakulta
- Planning and acting in dynamic environments: identifying and avoiding dangerous situations2022 | Matematicko-fyzikální fakulta
- Multi-agent Path Finding on Real Robots: First Experience with Ozobots2018 | Matematicko-fyzikální fakulta
- Multi-agent path finding on real robots2019 | Matematicko-fyzikální fakulta
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Matematicko-fyzikální fakulta
- Formal design and verification of self-adaptive systems with decentralized control2017 | Matematicko-fyzikální fakulta