Rational Verification