STL2CBF

In this toolbox we provide a neuro-symbolic training process for policy optimization in the presence of model uncertainty. The codes are available from here.