Text this: Model Checking in Federated Learning-Based Smart Advertising.