Publications
Export 2 results:
Author Keyword Title Type [ Year
Filters: Author is Armando Solar-Lezama [Clear All Filters]
“Task-Based Design of Ad-hoc Modular Manipulators”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
, “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.
,