Victoria Tuck

According to our database, Victoria Tuck authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

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

Pan-Yang Su, Chinmay Maheshwari, Victoria Tuck, 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

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