TY  - RPRT
TI  - Rational verification and checking for Nash and subgame-perfect equilibria in graph games
AU  - Léonard Brice
AU  - Jean-François Raskin
AU  - Marie van den Bogaard
PY  - 2023
UR  - https://arxiv.org/abs/2301.12913
ID  - 2301.12913
ER  -