Education

Students I supervised and other teaching activities.

Lectures

In September 2024, I will give the first lesson on AI planning at TU Delft, in the new course ‘Probabilistic AI & Reasoning’. You can find the slides here and the lecture notes here.


Thesis supervision

I am/was involved in several theses as the daily supervisor.

MSc theses

Refactoring for AI planning (2024)

refactoring
program synthesis
AI planning
train dispatching
AI planning for the Train Unit Shunting Problem (2024)

train shunting
TUSP
AI planning
PDDL
heuristics
Inferring Robust Plans with a Rail Network Simulator

Reuben Gardos Reid (2023)

Over 700 trains in the Netherlands are used daily for passenger transportation. Train operations involve tasks like parking, recombination, cleaning, and maintenance, which take place in shunting yards. The train unit shunting problem (TUSP) is a complex planning problem made more difficult by uncertainties such as delays. Most existing approaches overlook these disturbances and the approaches that consider them incorporate heuristics to enhance the robustness of their solutions to disturbances. This thesis proposes an alternative approach: utilizing probabilistic programming to turn an existing planning algorithm and simulator into a generative model of the TUSP. The model introduces disturbances without the need to modify the planning algorithm or simulator. Through two types of inference, we infer a distribution of robust solutions for the TUSP. Empirical results demonstrate the effectiveness of our approach for inferring robust plans in small-scale scenarios.

Over 700 trains in the Netherlands are used daily for passenger transportation. Train operations involve tasks like parking, recombination, cleaning, and maintenance, which take place in shunting yards. The train unit shunting problem (TUSP) is a complex planning problem made more difficult by uncertainties such as delays. Most existing approaches overlook these disturbances and the approaches that consider them incorporate heuristics to enhance the robustness of their solutions to disturbances. This thesis proposes an alternative approach: utilizing probabilistic programming to turn an existing planning algorithm and simulator into a generative model of the TUSP. The model introduces disturbances without the need to modify the planning algorithm or simulator. Through two types of inference, we infer a distribution of robust solutions for the TUSP. Empirical results demonstrate the effectiveness of our approach for inferring robust plans in small-scale scenarios.

train shunting
TUSP
robustness
probabilistic programming
inference

BSc theses

Learning patterns in train position data (2024)

Given a set of GPS locations of trains in a railway hub, we want to be able to reconstruct the original plan of which this data is the realization. The goal of the project is to automatically detect patterns that can help in creating new plans. Each of the sub-projects uses a different aspect of the problem to focus the pattern detection on.

train shunting
TUSP
GPS locations
classification
Landmarks in planning (2024)

Landmarks in AI planning give the must-reach intermediate goals and have provided significant reductions in planning time. Different algorithms have been developed for extracting landmarks from problem files and using them in a planner. The goal of the project is to implement these different algorithm in the SymbolicPlanners library in Julia to allow for easier use of these landmark algorithms in future research. Each of the sub-projects implements a different landmark algorithm.

AI planning
Classical planning
Landmarks
SymbolicPlanners.jl
Comparing planners for railway planning (2023)

AI planning can formally define real-world planning problems, like the train unit shunting problem. An initial PDDL model for this problem is provided and the is extended to be more realistic. The goal of the project is to compare previously developed planners on their performance for the new problem definition. Each of the sub-projects focuses on a different aspect of the problem to include.

train shunting
TUSP
PDDL
planning