TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems. - Philipp Borchers; Tjark Koopmann; Lukas Westhofen 001; Jan Steffen Becker; Lina Putze; Dominik Grundt; Thies de Graaff; Vincent Kalwa; Christian Neurohr (Sci. Comput. Program., 2025)