Automated Verification of Social Laws for Continuous Time Multi-Robot Systems.

Ronen Nir, Erez Karpas

Browse the full AAAI paper archive.