SMT-Based Dynamic Multi-Robot Task Allocation

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Tuck, Victoria Marie, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S. Shankar, Seshia, Sanjit A.
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!