SafePlanner: Testing Safety of the Automated Driving System Plan Model. - Dohyun Kim 004; Sanggu Han; Sangmin Woo; Joonha Jang; Jaehoon Kim; Changhun Song; Yongdae Kim (CoRR, 2026)