SMT-Based Dynamic Multi-Robot Task Allocation

Open in new window