%0 Conference Paper %1 conf/aaai/HasanbeigJAMK21 %A Hasanbeig, Mohammadhosein %A Jeppu, Natasha Yogananda %A Abate, Alessandro %A Melham, Tom %A Kroening, Daniel %B AAAI %D 2021 %I AAAI Press %K dblp %P 7647-7656 %T DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#HasanbeigJAMK21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/HasanbeigJAMK21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Hasanbeig, Mohammadhosein and Jeppu, Natasha Yogananda and Abate, Alessandro and Melham, Tom and Kroening, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/21dc538f689cd839dd971fa96698b8685/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i9.16935}, interhash = {1102b27755ee32e10ddd8b956d13175c}, intrahash = {1dc538f689cd839dd971fa96698b8685}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {7647-7656}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#HasanbeigJAMK21}, year = 2021 }