Refining Urban Park Accessibility and Service Coverage Assessment Using a Building-Level Population Allocation Model: Evidence from Yongsan-gu, Seoul, Korea | Synapse