Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. - Mohit Srinivasan; Amogh Dabholkar; Samuel Coogan 001; Patricio A. Vela (IROS, 2020)