Belief tracking for multi-agent planning 

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, provides formal ...