Christian Ebner, Kirill Gorelik, Armin Zimmermann. Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications. IEEE Systems Journal, 17(4):5357-5368, December 2023. [doi]
Abstract is missing.