Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.

Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard

Browse the full MFCS paper archive.