Login / Signup
Greg Anderson
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Abstract Interpretation
Relational Databases
Guided Exploration
Search Strategies
Top Venues
SaTML
ICLR
</>
Publications
</>
Chenxi Yang
,
Greg Anderson
,
Swarat Chaudhuri
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.
SaTML
(2024)
Greg Anderson
,
Swarat Chaudhuri
,
Isil Dillig
Guiding Safe Exploration with Weakest Preconditions.
ICLR
(2023)