1 citations · 2 across the 3 of their papers we have counts for
3 papers
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
Victoria Marie Tuck, Hardik Parwana, Pei-Wei Chen +5
This paper introduces MRTA-Sim, a Python/ROS2/Gazebo simulator for testing approaches to Multi-Robot Task Allocation (MRTA) problems on simulated robots in complex, indoor environm…
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4
Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…
SMT-Based Dynamic Multi-Robot Task Allocation
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos +4
Multi-Robot Task Allocation (MRTA) is a problem that arises in many application domains including package delivery, warehouse robotics, and healthcare. In this work, we consider th…