DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. - Victoria Tuck; Yash Vardhan Pant; Sanjit A. Seshia; S. Shankar Sastry (CCTA, 2021)

Incentive-Compatible Vertiport Reservation in Advanced Air Mobility: An Auction-Based Approach. - Pan-Yang Su; Chinmay Maheshwari; Victoria Marie Tuck; Shankar Sastry 001 (CDC, 2024)

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 (NFM, 2024)

Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility. - Chinmay Maheshwari; Maria G. Mendoza; Victoria Marie Tuck; Pan-Yang Su; Victor L. Qin; Sanjit A. Seshia; Hamsa Balakrishnan; S. Shankar Sastry (CoRR, 2024)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments. - Victoria Marie Tuck; Hardik Parwana; Pei-Wei Chen; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; S. Shankar Sastry; Sanjit A. Seshia (CoRR, 2025)