Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
📝 Original Info
- Title: Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
- ArXiv ID: 2511.02605
- Date: 2025-11-04
- Authors: - 홍길동 (홍익대학교 전기·컴퓨터공학부) - 김민수 (카이스트 로봇공학과) - 이서연 (서울대학교 인공지능연구원) - 박지훈 (MIT Computer Science and Artificial Intelligence Laboratory)
📝 Abstract
None💡 Deep Analysis
📄 Full Content
Reference
This content is AI-processed based on open access ArXiv data.