Formal Language Constraints In Deep Reinforcement Learning For Self-Driving Vehicles