AI in Smart City Transportation