Markov decision process (MDP) framework for optimizing software on mobile phones