PAPERS

Title:DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Links:Document as PDF
Authors:Mohammadhosein Hasanbeig
Natasha Yogananda Jeppu
Alessandro Abate
Tom Melham
Daniel Kroening EMail
Remarks:
Topics:

Bibtex:

@inproceedings{hjamk2021,
  AUTHOR    = { Hasanbeig, Mohammadhosein
                and Jeppu, Natasha Yogananda
                and Abate, Alessandro
                and Melham, Tom
                and Kroening, Daniel },
  TITLE     = { {DeepSynth}: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning },
  BOOKTITLE = { AAAI Conference on Artificial Intelligence },
  NOTE      = { To appear. },
  YEAR      = { 2021 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.