Games of singular control and stopping driven by spectrally one-sided Levy processes

We study a zero-sum game where the evolution of a spectrally one-sided Levy process is modified by a singular controller and is terminated by the stopper. The singular controller minimizes the expected values of running, controlling and terminal costs while the stopper maximizes them. Using fluctuation theory and scale functions, we derive a saddle point and the value function of the game. Numerical examples under phase-type Levy processes are also given.