Power-optimal feedback-based random spectrum access for an energy harvesting cognitive user | IEEE Conference Publication | IEEE Xplore