DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. In 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, AAAI Press, 2021. [doi]

Authors

Mohammadhosein Hasanbeig

This author has not been identified. Look up 'Mohammadhosein Hasanbeig' in Google

Natasha Yogananda Jeppu

This author has not been identified. Look up 'Natasha Yogananda Jeppu' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google

Tom Melham

This author has not been identified. Look up 'Tom Melham' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google