Huang, W.; Khalil, E. B. Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto. AAAI 2023, 37, 14249-14258.