1. Agarwal, M., Kumar, N., Vig, L.: Non-additive multi-objective robot coalition formation. Expert Syst. Appl. 41(8), 3736–3747 (2014)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Chen, Y., Ding, X.C., Stefanescu, A., Belta, C.: Formal approach to the deployment of distributed robotic teams. IEEE Trans. Robot. 28(1), 158–171 (2012)
4. De Giacomo, G., Vardi, M.: Linear temporal logic and linear dynamic logic on finite traces. In: International Joint Conference on Artificial Intelligence (IJCAI), pp. 854–860. Association for Computing Machinery (2013)
5. De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: AAAI, pp. 1027–1033. Citeseer (2014)