TY  - RPRT
TI  - Expressive Temporal Specifications for Reward Monitoring
AU  - Omar Adalat
AU  - Francesco Belardinelli
PY  - 2025
UR  - https://arxiv.org/abs/2511.12808
ID  - 2511.12808
ER  -