TY  - RPRT
TI  - SMT-Based Dynamic Multi-Robot Task Allocation
AU  - Victoria Marie Tuck
AU  - Pei-Wei Chen
AU  - Georgios Fainekos
AU  - Bardh Hoxha
AU  - Hideki Okamoto
AU  - S. Shankar Sastry
AU  - Sanjit A. Seshia
PY  - 2024
UR  - https://arxiv.org/abs/2403.11737
ID  - 2403.11737
ER  -