1: \begin{abstract}

2:  In this paper, we show how controllers created using data driven designs, such as neural networks,

3:  can be used together with model based controllers in a way that combines the  performance guarantees 

4:  of the model based controllers with the efficiency of the data driven controllers. 

5:  The considered performance guarantees include both safety, in terms of avoiding designated unsafe parts 

6:  of the state space, and convergence, in terms of reaching a given beneficial part of the state space.

7:  Using the framework Behavior Trees, we are able to show how this can be done on the top level, concerning 

8:  just two controllers, as described above, but also note that the same approach can be used in arbitrary sub-trees. 

9:  The price for introducing the new controller is that the upper bound on the time needed 

10:  to reach the desired part of the state space increases.

11: The approach is illustrated with an inverted pendulum example.

12: \end{abstract}

13: