Ferrer Mestres, Jonathan (Date of defense: 2018-05-09)
Planning in robotics is often split into task and motion planning. The task planner decides what needs to be done, while the motion planner fills up geometric details. However, such a decomposition is ...
Francès, Guillem (Date of defense: 2017-10-26)
Classical planning is concerned with finding sequences of actions that achieve a certain goal from an initial state of the world, assuming that actions are deterministic, states are fully known, and ...
Kominis, Filippos (Date of defense: 2017-12-01)
Classical planning is the problem of finding a sequence of actions that achieve a desired goal from an initial state, assuming deterministic actions. Dynamic epistemic logic (DEL) on the other hand, ...