@inproceedings{Hasanbeig:2021:DAS,
  title = "{DeepSynth}: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning",
  author = "Mohammadhosein Hasanbeig and Natasha Yogananda Jeppu and Alessandro Abate and Tom Melham and Daniel Kroening",
  year = "2021",
  booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2--9, 2021",
  pages = "7647--7656",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/16935",
}