Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations
| Title: | Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations |
|---|---|
| Authors: | Cui, Guofeng; Wang, Yuning; Mao, Wensen; Duan, Yuanlin; Zhu, He |
| Source: | Proceedings of the ACM on Programming Languages. 9(OOPSLA2):555-583 |
| Availability: | http://dl.acm.org/doi/10.1145/3763070 |
| Database: | ACM Full-Text Collection |