판 이력 — On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics | AIChainDay