Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety.