@misc{indiciae0a52db28e8e4, title = {From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems}, author = {Yining Hong and Christopher S. Timperley and Christian Kästner}, year = {2025}, doi = {10.1109/cain66642.2025.00021}, url = {https://arxiv.org/abs/2502.07974}, note = {Source identifier: 2502.07974} }