TY - RPRT TI - Rigorous Safety Analysis and Design of ADAS and ADS: Implications on Tools AU - Juan Pimentel PY - 2024 UR - https://arxiv.org/abs/2406.08350 ID - 2406.08350 ER -