Home /Research /SMT-Based Dynamic Multi-Robot Task Allocation
SWARM

SMT-Based Dynamic Multi-Robot Task Allocation

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

Year
2024
Citations
2

Keywords

Computer scienceTask (project management)RobotHuman–computer interactionArtificial intelligenceSystems engineering

Related papers

Browse all SWARM papers