Suresh Jeyaraman, Antonios Tsourdos, Rafal Zbikowski, Brian A. White. Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice. Int. J. Systems Science, 37(6):339-349, 2006. [doi]
Abstract is missing.