Hexagonal Lattice Formation in Multi-Robot Systems. - Sailesh Prabhu; William Li; James McLurkin (DARS, 2012)

SMT-based synthesis of integrated task and motion plans from plan outlines. - Srinivas Nedunuri; Sailesh Prabhu; Mark Moll; Swarat Chaudhuri; Lydia E. Kavraki (ICRA, 2014)