On computational tractability for rational verification

Rational verification involves checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption that agents in the system choose strategies in game theoretic equilibrium. Rational verification can be understood as a counterpart of model checking for multiagent sy...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M
বিন্যাস: Conference item
প্রকাশিত: International Joint Conferences on Artificial Intelligence 2019