On Computational Tractability for Rational Verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Browse the full IJCAI paper archive.