Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition.

Hidenao Iwane, Akifumi Kira, Hirokazu Anai

Browse the full CASC paper archive.