Login / Signup

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.

Chenxi YangGreg AndersonSwarat Chaudhuri
Published in: SaTML (2024)
Keyphrases
  • reinforcement learning
  • abstract interpretation
  • termination analysis
  • model free
  • reasoning engine
  • knowledge representation