Markov Modelling for Autonomous Vehicle Safety Assessment: Numerical Modularization to Avoid System State-Explosion.
Teo Puig WalzSunil Kumar Reddy MopuruGeorg VogelbacherAlexander RichterFabian HöflingerIvo HäringJörg FingerAlexander StolzPublished in: ITSC (2023)