Guaranteeing Control Requirements via Reward Shaping in Reinforcement Learning