Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features | IEEE Journals & Magazine | IEEE Xplore