Hoffmann JLC, Fröhlich AA, Völp M, Milazzo P. Safe and Protected: Combining Protection Mechanism with Safety Verification In Autonomous Vehicles. JISA [Internet]. 2026Jan.21 [cited 2026Feb.3];17(1):16-35. Available from: https://journals-sol.sbc.org.br/index.php/jisa/article/view/5913