@misc{indiciae423bd626682c,
  title = {Rational verification and checking for Nash and subgame-perfect equilibria in graph games},
  author = {Léonard Brice and Jean-François Raskin and Marie van den Bogaard},
  year = {2023},
  url = {https://arxiv.org/abs/2301.12913},
  note = {Source identifier: 2301.12913}
}