Solving Stackelberg security Markov games employing the bargaining Nash approach: Convergence analysis. Issue 74 (May 2018)