1. Baier C, Katoen JP (2008) Principles of model checking, vol 26202649. MIT Press, Cambridge
2. Banfi J, Basilico N, Amigoni F (2018) Multirobot reconnection on graphs: problem, complexity, and algorithms. IEEE Trans Robot 34(99):1–16
3. DeGennaro MC, Jadbabaie A (2006) Decentralized control of connectivity for multi-agent systems. In: 45th IEEE conference on decision and control, San Diego, pp 3628–3633
4. Fink J, Ribeiro A, Kumar V, Sadler BM (2010) Optimal robust multihop routing for wireless networks of mobile micro autonomous systems. In: IEEE military communications conference, 2010-MILCOM 2010, San Jose, pp 1268–1273
5. Ghaffarkhah A, Mostofi Y (2010) Channel learning and communication-aware motion planning in mobile networks. In: IEEE American control conference, Baltimore, pp 5413–5420