@inproceedings{ijcai2019p47, title = {On Computational Tractability for Rational Verification}, author = {Gutierrez, Julian and Najib, Muhammad and Perelli, Giuseppe and Wooldridge, Michael}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {329--335}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/47}, url = {https://doi.org/10.24963/ijcai.2019/47}, }