D2CoPlan: A Differentiable Decentralized Planner for Multi-Robot Coverage | IEEE Conference Publication | IEEE Xplore