Jan Erik Stellet, Tino Brade, Alexander Poddey, Stefan Jesenski, Wolfgang Branz. Formalisation and algorithmic approach to the automated driving validation problem. In 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019. pages 45-51, IEEE, 2019. [doi]
Abstract is missing.