On Computational Tractability for Rational Verification

Julian Gutierrez‚ Muhammad Najib‚ Giuseppe Perelli and Michael Wooldridge