Publikace
- Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks2018 | Matematicko-fyzikální fakulta
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Matematicko-fyzikální fakulta
- Planning and Acting with Non-Deterministic Events: Navigating between Safe States2020 | Matematicko-fyzikální fakulta
- Planning in a Real-World Application: An AUV Case Study2020 | Matematicko-fyzikální fakulta
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Matematicko-fyzikální fakulta
- On the predictability of domain-independent temporal planners2019 | Matematicko-fyzikální fakulta
- Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks2019 | Matematicko-fyzikální fakulta
- Improving Domain-Independent Planning via Critical Section Macro-Operators2019 | Matematicko-fyzikální fakulta
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Matematicko-fyzikální fakulta
Loading network view...