Lesperance, Y., De Giacomo, G., Rostamigiv, M. and Khan, S. M. (2024) “Abstraction of Situation Calculus Concurrent Game Structures”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), pp. 10624-10634. doi: 10.1609/aaai.v38i9.28933.