Learning-based control with safety guarantees usually requires real-time safety certification
and modifications of possibly unsafe learning-based policies. The control barrier function …

In this article, we describe an approximate dynamic programming (ADP) approach to
compute lower bounds on the optimal value function for a discrete time, continuous space …

In this paper we study value function approximation techniques that are based on the Linear
Programming formulation of Approximate Dynamic Programming. We propose a point-wise …

This paper proposes an efficient algorithm which relies on quadratic programming for
approximately solving the Bellman equation in reinforcement learning problem and …