Constrained Markov Decision Process Modeling for Optimal Sensing of Cardiac Events in Mobile Health | IEEE Journals & Magazine | IEEE Xplore