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 |
καταχωρήστε σχόλιο πρώτοι!