Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur. Specification-Guided Reinforcement Learning. In George Pappas, Pradeep Ravikumar, Sanjit A. Seshia, editors, International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USA. Volume 288 of Proceedings of Machine Learning Research, pages 316-330, PMLR, 2025. [doi]
Abstract is missing.