Cited By
View all- Goranko V(2023)Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and PerspectivesLogics10.3390/logics10100031:1(4-35)Online publication date: 6-Feb-2023
- Demri SRönnholm RMarquis PSon TKern-Isberner G(2023)How to manage a budget with ATL+Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning10.24963/kr.2023/19(188-197)Online publication date: 2-Sep-2023
- Goranko VKuusisto ARönnholm R(2019)Alternating-time temporal logic ATL with finitely bounded semanticsTheoretical Computer Science10.1016/j.tcs.2019.05.029Online publication date: Jul-2019