Using Constrained Optimization for Real-Time Synchronization of Verbal and Nonverbal Robot Behavior | IEEE Conference Publication | IEEE Xplore