added realizable spec for two robots