TY - RPRT TI - Expressive Reward Synthesis with the Runtime Monitoring Language AU - Daniel Donnelly AU - Angelo Ferrando AU - Francesco Belardinelli PY - 2025 UR - https://arxiv.org/abs/2510.16185 ID - 2510.16185 ER -