Learning from Demonstrations using Signal Temporal Logic

Re-assign community