Similar Items: Formal Verification and Deep Learning for Smart Farming: A Robust Framework for Cotton Crop Monitoring