2024conference

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

NASA Formal Methods (NFM), 2024

Topics: Optimal Planning and Safe Control

Citation

@inproceedings{NFM_2024,
  title = {SMT-Based Dynamic Multi-Robot Task Allocation},
  author = {Victoria Marie Tuck and Pei-Wei Chen and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and S Shankar Sastry and Sanjit A Seshia},
  booktitle = {NASA Formal Methods (NFM), 2024},
  year = {2024},
  url = {https://arxiv.org/abs/2403.11737},
  code = {https://github.com/victoria-tuck/SMrTa},
  keywords = {Optimal Planning and Safe Control}
}