Safety-Critical Learning of Robot Control with Temporal Logic Specifications