@inproceedings{H2011,
  title = "Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation",
  author = "Horn, Alex",
  year = "2011",
  address = "Berlin, Heidelberg",
  booktitle = "Proceedings of the 18th International Workshop on Logic, Language, Information and Computation",
  location = "Philadelphia, PA, USA",
  month = "may",
  pages = "161--175",
  publisher = "Springer-Verlag",
  series = "WoLLIC'11",
  url = "http://www.cs.ox.ac.uk/people/alex.horn/papers/wollic2011.pdf",
}