On the complexity of rational verification

Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge. On the complexity of rational verification. Annals of Mathematics and Artificial Intelligence, 91(4):409-430, August 2023. [doi]

Abstract

Abstract is missing.