ITS4SDC at the ICST 2025 Tool Competition - Self-Driving Car Testing Track | IEEE Conference Publication | IEEE Xplore