Academic Journal
Formal methods in robot end user development: progress, gaps, and opportunities.
| Τίτλος: | Formal methods in robot end user development: progress, gaps, and opportunities. |
|---|---|
| Συγγραφείς: | Hwang, Yuna, Lee, Christine P., Porfirio, David, Hiatt, Laura M., Mutlu, Bilge |
| Πηγή: | Foundations & Trends in Robotics; 2026, Vol. 13 Issue 3, p273-349, 77p |
| Βάση Δεδομένων: | Complementary Index |
| ISSN: | 19358253 |
|---|---|
| DOI: | 10.1108/FTROB-05-2025-0083 |