Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation.

Alexander Horn

Browse the full WoLLIC paper archive.