Provably Correct Optimization and Exploration with Non-linear Policies.

Fei Feng Wotao Yin Alekh Agarwal Lin Yang

Published in: ICML (2021)

Keyphrases

provably correct
optimization algorithm
optimization problems
optimal policy
optimization process
situation calculus
highly non linear
optimization method
formal methods
neural network
information systems
multi objective
knowledge representation
constrained optimization
interval arithmetic