Aminof, B., Murano, A., Rubin, S., & Zuleger, F. (2015). Verification of Asynchronous Mobile-Robots in Partially-Known Environments. In PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings ; Chen, Qingliang; Torroni, Paolo; Villata, Serena; Hsu, Jane; Omicini, Andrea. Cham. https://doi.org/10.1007/978-3-319-25524-8_12