@misc{indiciae96d25e13953d, title = {FASR: Automated Identification of Unsafe Control Actions in STPA}, author = {Ian Dardik and Yining She and Sam Procter and Keaton Hanna and Lutz Wrage and Eunsuk Kang}, year = {2026}, url = {https://arxiv.org/abs/2605.30697}, note = {Source identifier: 2605.30697} }