Author:
Gutierrez Julian,Perelli Giuseppe,Wooldridge Michael
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. Boolean games;Harrenstein,2001
2. From model checking to equilibrium checking: reactive modules for rational verification;Gutierrez;Artif. Intell.,2017
3. Iterated Boolean games;Gutierrez;Inf. Comput.,2015
4. The temporal logic of programs;Pnueli,1977
5. Model checking a path;Markey,2003
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献