2024 ICML ICML 2024

Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance