Neurosymbolic Reinforcement Learning with Formally Verified Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri. Neurosymbolic Reinforcement Learning with Formally Verified Exploration. In Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual. 2020. [doi]

This author has not been identified. Look up 'Greg Anderson' in GoogleThis author has not been identified. Look up 'Abhinav Verma' in GoogleThis author has not been identified. Look up 'Isil Dillig' in GoogleThis author has not been identified. It may be one of the following persons:

Swarat Chaudhuri

Look up 'Swarat Chaudhuri' in Google

runs on WebDSL