reference
Anderson et al. (2020) introduced a neuro-symbolic reinforcement learning method that incorporates formally verified exploration, published in Advances in Neural Information Processing Systems.

Authors

Sources

Referenced by nodes (1)