Victoria Tuck

According to our database, Victoria Tuck authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

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, April, 2025

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

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

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Incentive-Compatible Vertiport Reservation in Advanced Air Mobility: An Auction-Based Approach.

Pan-Yang Su, Chinmay Maheshwari, Victoria Marie Tuck, Shankar Sastry

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

2021

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

Proceedings of the IEEE Conference on Control Technology and Applications, 2021