I am interested in many practical and theoretical aspects of AI planning, in my more recent work with a focus on neuro-symbolic techniques.
These are my main lines of research:
Problem Analysis and Modelling – I have studied how complex structures in solutions can become for common planning formalisms
(see ECAI'14 and
ICAPS'16a). A comprehensive discussion can be found in my dissertation thesis.
I have been working on modelling assistance (see SoCS'24), and on using Decision-Focused Learning in Planning (see ECAI'24).
Domain-independent Solving – I have been working on solvers for HTN Planning based on heuristic search
(see e.g. ICAPS'18 or
JAIR'20),
on translations to propositional logic
(see e.g. AAAI'19)
and classical planning
(see e.g. ICAPS'16b,
ICAPS'21, or
JAIR'24).
If you are interested in hierarchical planning, check out our survey on the topic (IJCAI'19).
I have been working on lifted classical planning, e.g. lifted heuristics (see IJCAI'21 or ECAI'23),
lifted landmark generation (see IJCAI'22), and solvers based on a translation from lifted planning to propositional logic (see ICAPS'22a).
I have also published work on learning heuristic functions (AAAI'26).
Trustworthy Decision Making – I have been working on techniques to gain trust in learned action policies
(see e.g. ICAPS'22b and ICAPS'24a), on plan explanation (see ICAPS'24b),
and on safe DRL (see e.g. ACM TOMACS'23).
I am one of the main developers of several state-of-the-art planning systems:
Our PANDA system is a framework with various functionalities in the context of hierarchical planning: grounding and preprocessing, various solvers, and problem compilations e.g. of plan and goal recognition problems to planning problems or of plan verification problems to planning problems. You can find the software here, and an article summarizing the main functionality here.
My TOAD system is a translation-based HTN solver that translates HTN planning problems to classical planning problems and uses approximation instead of bounding to overcome the differences in expressivity. The approach is inspired my work on expressivity, it is described in this paper. You can find the software here.
Our LiSAT system is a translation-based solver for lifted classical planning that translates lifted classical planning problems to SAT problems in propositional logic. The approach is described here, you can find the software here.
