Anderson, Greg

2 publications

ICLR 2023 Guiding Safe Exploration with Weakest Preconditions Greg Anderson, Swarat Chaudhuri, Isil Dillig

NeurIPS 2020 Neurosymbolic Reinforcement Learning with Formally Verified Exploration Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri