Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments. - Heejin Ahn; Karl Berntorp; Pranav Inani; Arjun Jagdish Ram; Stefano Di Cairano (IEEE Trans. Control. Syst. Technol., 2021)