SMT-Based Control and Feedback for Social Navigation | IEEE Conference Publication | IEEE Xplore