Efficient Simultaneous Task and Motion Planning for Multiple Mobile Robots Using Task Reachability Graphs