Victoria Marie Tuck

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Dynamic Environments

Multi Robot Task Allocation

Top Venues

Publications

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR (2024)