Text this: HJB-INEQUALITIES IN ESTIMATING REACHABLE SETS OF A CONTROL SYSTEM UNDER UNCERTAINTY