Optimal stopping of Markov switching Lévy processes

We consider a finite time horizon optimal stopping of a regime-switching Lévy process. We prove that the value function of the optimal stopping problem can be characterized as the unique viscosity solution of the associated Hamilton–Jacobi–Bellman variational inequalities.