On the Synthesis of Bellman Inequalities for Data-Driven Optimal Control | IEEE Conference Publication | IEEE Xplore