An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. - Jakob Dirk Top; Rineke Verbrugge; Sujata Ghosh (Games, 2018)

Predictive Theory of Mind Models Based on Public Announcement Logic. - Jakob Dirk Top; Catholijn M. Jonker; Rineke Verbrugge; Harmen de Weerd (DaLí, 2023)