W. Huang and E. B. Khalil, “Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto”, AAAI, vol. 37, no. 12, pp. 14249–14258, Jun. 2023.