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

Published in: CoRR (2024)

Keyphrases