1. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
2. Beard, R.W., McLain, T.W., Nelson, D.B., Kingston, D., Johanson, D.: Decentralized cooperative aerial surveillance using fixed-wing miniature uavs. Proceedings of the IEEE 94(7), 1306–1324 (2006)
3. Cannell, C.J., Stilwell, D.J.: A comparison of two approaches for adaptive sampling of environmental processes using autonomous underwater vehicles. In: Proceedings of the MTS/IEEE OCEANS, Washington, DC, pp. 1514–1521 (2005)
4. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)
5. Davison, A., Kita, N.: Active visual localisation for cooperating inspection robots. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Takamatsu, Japan, pp. 1709–1715 (2000)