Alex Horn : Publications
Conference papers
|
[1] |
Dynamic Epistemic Algebra with Post−conditions to Reason about Robot Navigation Alex Horn In Proceedings of the 18th International Workshop on Logic‚ Language‚ Information and Computation. Pages 161–175. Berlin‚ Heidelberg. May, 2011. Springer−Verlag. |