Farn Wang, Sven Schewe, Chung-Hao Huang. An Extension of ATL with Strategy Interaction. ACM Transactions on Programming Languages and Systems, 37(3):9, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.