Filtrar por: Materia
Mostrando items 1-10
Mobile robots (2) |
Robotics (2) |
Robots móviles (2) |
Robótica (2) |
Automatic reachability analysis (1) |
Control architectures (1) |
Formal verification (1) |
Plan Execution Interchange Language (PLEXIL) (1) |
Rewriting logic (1) |
Robot autonomy (1) |