TY  - RPRT
TI  - Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
AU  - Tiberiu-Andrei Georgescu
AU  - Alexander W. Goodall
AU  - Dalal Alrajeh
AU  - Francesco Belardinelli
AU  - Sebastian Uchitel
PY  - 2026
UR  - https://arxiv.org/abs/2511.02605
ID  - 2511.02605
ER  -