An optimal first-order Taylor-like formula with a minimized remainder.

Joël Chaskalovic Franck Assous

Published in: CoRR (2023)

Keyphrases

artificial intelligence
optimal solution
dynamic programming
higher order
first order logic
finding optimal
linear temporal logic
decision trees
database systems
satisfiability problem
optimal control