Funder
Horizon 2020 Framework Programme
European Research Council
UK Research and Innovation
Engineering and Physical Sciences Research Council
University of Oxford
Israel Science Foundation
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference58 articles.
1. Cooperative concurrent games;Gutierrez,2019
2. Iterated boolean games;Gutierrez;Inf. Comput.,2015
3. From model checking to equilibrium checking: reactive modules for rational verification;Gutierrez;Artif. Intell.,2017
4. Rational verification: from model checking to equilibrium checking;Wooldridge,2016
5. Rational verification: game-theoretic verification of multi-agent systems;Abate;Appl. Intell.,2021
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献