A Unified Formulation and Nonconvex Optimization Method for Mixed-Type Decision-Making of Robotic Systems | IEEE Journals & Magazine | IEEE Xplore