R. Nir and E. Karpas, “Automated Verification of Social Laws for Continuous Time Multi-Robot Systems”, AAAI, vol. 33, no. 01, pp. 7683-7690, Jul. 2019.