Griffin, C.; Thomson, L.; Shlegeris, B.; Abate, A. Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols. IASEAI 2026, 2, 204-216.