20 citations · 28 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.RO2021★ 2 cited
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions
Wil Thomason, Hadas Kress-Gazit
Integrated Task and Motion Planning (TMP) provides a promising class of approaches for solving robot planning problems with intricate symbolic and geometric constraints. However, t…
cs.RO2021
Ensuring Progress for Multiple Mobile Robots via Space Partitioning, Motion Rules, and Adaptively Centralized Conflict Resolution
Claire Liang, Wil Thomason, E. Andy Ricci +1
In environments where multiple robots must coordinate in a shared space, decentralized approaches allow for decoupled planning at the cost of global guarantees, while centralized a…