Explainability of Intelligent Transportation Systems using Knowledge Compilation: A Traffic Light Controller CaseSalomón Wollenstein-BetechChristian Muiseet al.2020ITSC 2020