YUNG-JEN HSU2018-09-102018-09-101991http://www.springerlink.com/content/f5r8p768n400r886/?p=a0b2820dc8aa4170a874b46df410300e&pi=14http://scholars.lib.ntu.edu.tw/handle/123456789/294115Synthesizing Efficient Agents from Partial Programsjournal article10.1007/3-540-54563-8