TY  - RPRT
TI  - On the Complexity of Rational Verification
AU  - Julian Gutierrez
AU  - Muhammad Najib
AU  - Giuseppe Perelli
AU  - Michael Wooldridge
PY  - 2022
DO  - 10.1007/s10472-022-09804-3
UR  - https://arxiv.org/abs/2207.02637
ID  - 2207.02637
ER  -