Data-Driven Safety-Critical Control: Synthesizing Control Barrier Functions with Koopman Operators | IEEE Conference Publication | IEEE Xplore