Karthyedath, Anisha. "Safety by Design in Adaptive Cruise Control using Hamilton Jacobi Reachability Analysis." Master's thesis, Ohio State University, 2022. http://rave.ohiolink.edu/etdc/view?acc_num=osu1669892816441656Chicago Manual of Style (17th edition)