Ha Thi Thu Doan, François Bonnet 0001, Kazuhiro Ogata 0002. Model Checking of Robot Gathering. In James Aspnes, Alysson Bessani, Pascal Felber, João Leitão 0001, editors, 21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017. Volume 95 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.