Structured Reward functions using Signal Temporal Logic specifications

This repo has much more elaborate experiments that require the setup of the V-REP simulator. For simpler examples, please see the other repo.