Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability | IEEE Conference Publication | IEEE Xplore