Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey