Provably Correct Optimization and Exploration with Non-linear Policies.

Fei Feng Wotao Yin Alekh Agarwal Lin F. Yang

Published in: CoRR (2021)

Keyphrases

provably correct
formal methods
global optimization
optimization algorithm
optimization problems
optimization method
optimization methods
situation calculus
optimization process
highly non linear
software engineering
open source
optimal policy
error estimates