Bayesian Sequential Detection With Phase-Distributed Change Time and Nonlinear Penalty—A POMDP Lattice Programming Approach | IEEE Journals & Magazine | IEEE Xplore