Author:
Kupferman Orna,Tamir Tami
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Albers, S., Elits, S., Even-Dar, E., Mansour, Y., Roditty, L.: On Nash equilibria for a network creation game. In: Proceedings of 7th SODA, pp. 89–98 (2006)
2. Almagor, S., Avni, G., Kupferman, O.: Repairing multi-player games. In: Proceedings of 26th CONCUR, pp. 325–339 (2015)
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
4. Lecture Notes in Computer Science;R Alur,1999
5. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. ACM TOPLAS 23(3), 273–303 (2001)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
2. Timed network games;Information and Computation;2023-01
3. DETERMINACY IN DISCRETE-BIDDING INFINITE-DURATION GAMES;LOG METH COMPUT SCI;2021
4. Dynamic resource allocation games;Theoretical Computer Science;2020-02
5. Network Active Systems: Models of Planning and Incentives;Automation and Remote Control;2019-12