Games of singular control and stopping driven by spectrally one-sided Lévy processes

We study a zero-sum game where the evolution of a spectrally one-sided Lévy 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 Lévy processes are also given.