Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof. Verification of Asynchronous Mobile-Robots in Partially-Known Environments. In Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini, editors, PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings. Volume 9387 of Lecture Notes in Computer Science, pages 185-200, Springer, 2015. [doi]
Abstract is missing.