Correct-by-synthesis reinforcement learning with temporal logic constraints

Re-assign community