Transmission policy of the hybrid energy model allows maximizing energy utilization of small cells in the wireless system. One of the key challenges in maximization of energy utilization is to minimize the grid power and energy wastage of green harvested energy (GHE) sources simultaneously. In this paper, unlike existing transmission policy solution which focuses only on one highlighted objective, we proposed multi-objective model checking for Markov decision process (MOMC-MDP) with linear temporal logic (LTL) to find the best feasible solution for packet transmissions in each time slot. Based on the MOMC-MDP for different battery status, the optimal transmission policy of small cells is obtained in order to deliver the highest harvest energy sources and guarantee the quality of service (QoS) demands. Numerical results show that the MOMC- MDP scheme can ensure to efficiently use the limited energy of battery while maximizing green energy utilization in real-time transmission.