Article

What Makes a Good Symbol for Hybrid Discrete-Continuous Planning?

The paper proposes defining symbol usefulness from the perspective of the solving algorithm: a good symbol should expose the discrete decisions that simplify solving the original planning problem. The authors first introduce the concept of solver-sufficient symbolization for finite-horizon piecewise-affine systems and design a counterexample-guided symbol invention algorithm, then extend it to optimization objectives whose energy functions are general neural networks. Experiments on simulated and real-robot tasks show that the resulting symbols reduce solving cost while maintaining solution quality, and improve interpretability and controllability.

Part of the event: Research on Symbolic Design for Hybrid Discrete-Continuous Planning

This page provides a summary and source link only.