Publications

Export 2 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Armando Solar-Lezama  [Clear All Filters]
2019
T. Campos, Inala, J. Priya, Solar-Lezama, A., and Kress-Gazit, H., “Task-Based Design of Ad-hoc Modular Manipulators”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
2015
R. Alur, Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A., “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.