Morayo Adedjouma, Fabien Gaudin, Philippe Fiani. Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation. In 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023. pages 514-523, IEEE, 2023. [doi]
Abstract is missing.