TY - RPRT TI - Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach AU - Mohit Srinivasan AU - Amogh Dabholkar AU - Samuel Coogan AU - Patricio Vela PY - 2020 UR - https://arxiv.org/abs/2003.04950 ID - 2003.04950 ER -