GitHub repository: Bobobert/CARL
Description: Control of Automata with Reinforcement Learning