Anderson, Greg

3 publications

ICLR 2026 Robust Adaptive Multi-Step Predictive Shielding Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma

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