Publications
- On the configuration of robust static parallel portfolios for efficient plan generation2018 | Faculty of Mathematics and Physics
- Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks2018 | Faculty of Mathematics and Physics
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Faculty of Mathematics and Physics
- Planning and Acting with Non-Deterministic Events: Navigating between Safe States2020 | Faculty of Mathematics and Physics
- Planning in a Real-World Application: An AUV Case Study2020 | Faculty of Mathematics and Physics
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Faculty of Mathematics and Physics
- On the predictability of domain-independent temporal planners2019 | Faculty of Mathematics and Physics
- Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks2019 | Faculty of Mathematics and Physics
- Improving Domain-Independent Planning via Critical Section Macro-Operators2019 | Faculty of Mathematics and Physics
Loading network view...