Markov Modelling for Autonomous Vehicle Safety Assessment: Numerical Modularization to Avoid System State-Explosion. - Teo Puig Walz; Sunil Kumar Reddy Mopuru; Georg Vogelbacher; Alexander Richter; Fabian Höflinger; Ivo Häring; Jörg Finger; Alexander Stolz (ITSC, 2023)