Real-time adaptation of augmented-reality games for optimizing player satisfaction | IEEE Conference Publication | IEEE Xplore