Expressive Reward Synthesis with the Runtime Monitoring Language
摘要
Reinforcement Learning (RL) [10] has achieved remarkable success by enabling agents to learn through interactions with their environment, using reward signals to shape their behaviour. Yet, the reward function that produces these signals is typically treated as a black box that the agent queries to receive rewards [6].