We present a procedure for the approximate verification of a class of adaptive control systems. In the systems considered, the continuum state evolves according to a differential equation that is jointly polynomial in states and exogenous inputs. Our computational procedure for approximate verification consists of outer approximating reach sets and checking… (More)