Login / Signup
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.
Chenxi Yang
Greg Anderson
Swarat Chaudhuri
Published in:
SaTML (2024)
Keyphrases
</>
reinforcement learning
abstract interpretation
termination analysis
model free
reasoning engine
knowledge representation