- Visual design of planning domains2010 | Faculty of Mathematics and Physics
- A Novel Framework for Modeling Planning Domains with State Variables2012 | Faculty of Mathematics and Physics
- On verification of workflow and planning domain models using attribute grammars2017 | Faculty of Mathematics and Physics
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Faculty of Mathematics and Physics
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Faculty of Mathematics and Physics
- Appropriate expressiveness of planning domain models: An urban traffic control case study2019 | Faculty of Mathematics and Physics
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Faculty of Mathematics and Physics
- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Faculty of Mathematics and Physics
- Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems2012 | Faculty of Mathematics and Physics
- Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning2022 | Faculty of Mathematics and Physics
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Faculty of Mathematics and Physics
- Towards getting domain knowledge: Plans analysis through investigation of actions dependencies2008 | Faculty of Mathematics and Physics
- Towards AI Planning Efficiency: Finite-domain State Variable Reformulation2013 | Faculty of Mathematics and Physics, Charles University
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Faculty of Mathematics and Physics
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | 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
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Faculty of Mathematics and Physics
- Generation of macro-operators via investigation of action dependencies in plans2010 | Faculty of Mathematics and Physics
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Faculty of Mathematics and Physics
- Generation of Macro-operators via Investigation of Actions Dependencies in Plans2008 | Faculty of Mathematics and Physics
- On Modeling Planning Problems: Experience From The Petrobras Challenge +12013 | Faculty of Mathematics and Physics
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Faculty of Mathematics and Physics
- LOUGA: learning planning operators using genetic algorithms2018 | Faculty of Mathematics and Physics
- Reformulating Planning Problems by Eliminating Unpromising Actions2009 | Faculty of Mathematics and Physics
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Faculty of Mathematics and Physics, Charles University