Text this: Safe and certified reinforcement learning with logical constraints