Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning

Open in new window