Time-bounded algorithm for two-player games | IEEE Conference Publication | IEEE Xplore