Publisher
Springer International Publishing
Reference19 articles.
1. Agarwal, S., Kodialam, M.S., Lakshman, T.V.: Traffic engineering in software defined networks. In: Proceedings of the 32nd IEEE International Conference on Computer Communications, pp. 2211–2219 (2013)
2. Almagor, S., Avni, G., Kupferman, O.: Repairing multi-player games. In: Proceedings of the 26th International Conference on Concurrency Theory. LIPIcs, vol. 42, 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;K Chatterjee,2010
5. Lecture Notes in Computer Science;K Chatterjee,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Perspective Multi-Player Games;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29