Optimal Symbolic Bound Synthesis.

John Cyphert Yotam Feldman Zachary Kincaid Thomas W. Reps

Published in: CoRR (2023)

Keyphrases

worst case
dynamic programming
upper bound
lower bound
asymptotically optimal
real world
optimal cost
optimal strategy
optimal solution
high level
control system
closed form
estimation error
information systems
data mining
neural network
integer solution