Edge AI for Smart Cities: Foundations, Challenges, and Opportunities | Synapse