Finite-Sample Analysis for SARSA with Linear Function Approximation - Zou, Shaofeng; Xu, Tengyu; Liang, Yingbin (Advances in Neural Information Processing Systems, 2019)