Certifiable Algorithms for Reinforcement Learning: Safety-Critical and Game-Theoretic Perspectives