Expressive Reward Synthesis with the Runtime Monitoring Language. - Daniel Donnelly; Angelo Ferrando 001; Francesco Belardinelli (CoRR, 2025)