An inductive synthesis framework for verifiable reinforcement learning
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 08, 2019
- Source ID
- 10.1145/3314221.3314638
Entities
People
- He Zhu
- Stephen Magill
- Suresh Jagannathan
- Zikang Xiong
Organizations
- Defense Advanced Research Projects Agency
- Purdue University