Assessment and optimal policies of semi-continuous killed Markov decision processes - P. R. Shpak; Ja. I. Elejko (Cybernetics and Systems Analysis, 2016)