@Inproceedings{EPTCS319.7, author = {Smith, Sim\'on C. and Ramamoorthy, Subramanian}, year = {2020}, title = {Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study}, editor = {Cardoso, Rafael C. and Ferrando, Angelo and Briola, Daniela and Menghi, Claudio and Ahlbrecht, Tobias}, booktitle = {{\rm Proceedings of the First Workshop on} Agents and Robots for reliable Engineered Autonomy, {\rm Virtual event, 4th September 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {319}, publisher = {Open Publishing Association}, pages = {81-101}, doi = {10.4204/EPTCS.319.7}, }