Program Synthesis for Robots is a computational method within robotics that automatically generates executable robot programs from high-level specifications or constraints, distinguishing itself by integrating domain-specific knowledge and synthesis algorithms to bridge abstract task descriptions with low-level robotic control.
34
Publications
2.4K
Citations
102
Authors
44
Institutions
Publications per year
2017–2026
11
Parents
Publications
34
Code as Policies: Language Model Programs for Embodied Control
Jacky Liang, Wenlong Huang, Fei Xia et al. · 2023 · 569 citations
CAD-based off-line robot programming
Pedro Neto, J. Norberto Pires, António Paulo Moreira · 2010 · 79 citations
1–5 of 34
Authors
102
- BM
3
h-index
- AS
3
h-index
- DP
3
h-index
- AA
3
h-index
- ME
2
h-index
1–5 of 102
Institutions
44
University of Wisconsin–Madison
Madison, United States
3 h-index
9 publications
240 citations
University of Washington
Seattle, United States
3 h-index
5 publications
222 citations
University of Wisconsin–La Crosse
La Crosse, United States
3 h-index
4 publications
127 citations
Georgia Institute of Technology
Atlanta, United States
3 h-index
7 publications
201 citations
University of Coimbra
Coimbra, Portugal
2 h-index
6 publications
370 citations
University of Electro-Communications
Tokyo, Japan
2 h-index
2 publications
34 citations
Cornell University
Ithaca, United States
2 h-index
5 publications
83 citations
INESC TEC
Porto, Portugal
2 h-index
2 publications
132 citations
1–8 of 44
Venues
- Robotics and Computer-Integrated Manufacturing
2 publications · 71 citations
2
h-index
- Robotics and Autonomous Systems
1 publications · 19 citations
1
h-index
- IEEE Transactions on Automatic Control
1 publications · 13 citations
1
h-index
- ACS Synthetic Biology
1 publications · 29 citations
1
h-index
- Procedia CIRP
1 publications · 11 citations
1
h-index
1–5