2025-07-022025-07-022025-07-02https://infoscience.epfl.ch/handle/20.500.14299/2518412025 IEEE/ACM 1st International Workshop on Software Engineering for Autonomous Driving Systems (SE4ADS)