Logic, complexity, and games | IEEE Conference Publication | IEEE Xplore