Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems. - View it on GitHub