Data-driven Construction of Symbolic Process Models for Reinforcement Learning | IEEE Conference Publication | IEEE Xplore