Learning a Formally Verified Control Barrier Function in Stochastic
Environment
Learning a Formally Verified Control Barrier Function in Stochastic
Environment
Safety is a fundamental requirement of control systems. Control Barrier Functions (CBFs) are proposed to ensure the safety of the control system by constructing safety filters or synthesizing control inputs. However, the safety guarantee and performance of safe controllers rely on the construction of valid CBFs. Inspired by universal approximatability, …