Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. - Alessandro Abate; Yousif Almulla; James Fox; David Hyland; Michael J. Wooldridge (ECAI, 2023)