Defining Solver-Sufficient Symbolization for Hybrid Robot Planning

This research moves beyond human-defined symbols to define computationally useful symbols for discrete-continuous planning. By studying finite-horizon piecewise-affine systems, the authors propose a framework where symbols are judged by their ability to expose discrete commitments that simplify the original planning problem.