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