- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations2017 | Faculty of Mathematics and Physics
- Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems2007 | 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
- Property Directed Reachability for Automated Planning2014 | Faculty of Mathematics and Physics
- Reinforced Encoding for Planning as SATPublication without faculty affiliation
- On the predictability of domain-independent temporal planners2019 | Faculty of Mathematics and Physics
- Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation2021 | Faculty of Mathematics and Physics
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- Planning and acting in dynamic environments: identifying and avoiding dangerous situations2022 | Faculty of Mathematics and Physics
- Deep Learning of Heuristics for Domain-independent Planning2020 | Faculty of Mathematics and Physics
- Automatic creation of pattern databases in planning2014 | Faculty of Mathematics and Physics
- Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning2014 | Faculty of Mathematics and Physics
- Planning in a Real-World Application: An AUV Case Study2020 | Faculty of Mathematics and Physics
- Compilation-Based Approaches to Parallel Planning: An Empirical Comparison2021 | Faculty of Mathematics and Physics
- Validation of hierarchical plans via parsing of attribute grammars2018 | Faculty of Mathematics and Physics
- Automated Training Plan Generation for Athletes2018 | Faculty of Mathematics and Physics
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Faculty of Mathematics and Physics
- Domain Modeling for Planning as Logic Programming2016 | Faculty of Mathematics and Physics
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Faculty of Mathematics and Physics
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Faculty of Mathematics and Physics
- One click dataset transfer: toward efficient coupling of distributed storage resources and CPUs2012 | Faculty of Mathematics and Physics
- On the robustness of domain-independent planning engines: The impact of poorly-engineered knowledge2019 | Faculty of Mathematics and Physics
- On the configuration of robust static parallel portfolios for efficient plan generation2018 | Faculty of Mathematics and Physics
- Mixed-Initiative Planning, Replanning and Execution: From Concept to Field Testing using AUV Fleets2017 | Faculty of Mathematics and Physics
- Relaxing the Relaxed Exist-Step Parallel Planning Semantics2013 | Faculty of Mathematics and Physics
- No One SATPlan Encoding To Rule Them All2015 | Faculty of Mathematics and Physics
- Deep Heuristic-learning in the Rubik's Cube Domain: An Experimental Evaluation2017 | Faculty of Mathematics and Physics
- Compiling Planning Problems with Non-deterministic Events into FOND Planning2020 | Faculty of Mathematics and Physics