Computing Smooth Feedback Plans Over Cylindrical Algebraic Decompositions | doi.page