Trajectory-Based Automata Learning for Offline Reinforcement Learning | IEEE Conference Publication | IEEE Xplore