Verifications and Stability: A Game Theoretic Analysis