Hsu, Jane Yung-jenJane Yung-jenHsu2010-10-112018-07-052010-10-112018-07-051991-10http://ntur.lib.ntu.edu.tw//handle/246246/214084en-USSynthesizing efficient agents from partial programsjournal article