On the Complexity of Rational Verification

Open in new window