Hanna Krasowski, Xiao Wang, Matthias Althoff: Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. ITSC 2020: 1-7