Verifiable and Privacy-Preserving Cooperative Federated Learning in UAV-Assisted Vehicular Networks.