Paper accepted at AAMAS-18

The paper discusses the epistemic formalisation of generalised planning in the presence of noisy acting and sensing.