(1)
Nir, R.; Karpas, E. Automated Verification of Social Laws for Continuous Time Multi-Robot Systems. AAAI 2019, 33, 7683-7690.