Inductive Generalization in Reinforcement Learning from Specifications
Automated Technology for Verification and Analysis, 2025
Automated Technology for Verification and Analysis, 2025
IEEE Conference on Decision and Control, 2023
International Journal of Information Technology, 2023
Medical Imaging with Deep Learning, 2022
AAAI GenPlan 2025 Workshop
NeurIPS GenPlan 2023 Workshop
Doctoral Consortium of KR 2026