Automated composition of motion primitives for multi-robot systems from safe LTL specifications. - Indranil Saha; Rattanachai Ramaithitima; Vijay Kumar 001; George J. Pappas; Sanjit A. Seshia (IROS, 2014)

Sensor coverage robot swarms using local sensing without metric information. - Rattanachai Ramaithitima; Michael Whitzer; Subhrajit Bhattacharya; Vijay Kumar 001 (ICRA, 2015)

Hierarchical Strategy Synthesis for Pursuit-Evasion Problems. - Rattanachai Ramaithitima; Siddharth Srivastava 001; Subhrajit Bhattacharya; Alberto Speranzon; Vijay Kumar 001 (ECAI, 2016)

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. - Indranil Saha; Rattanachai Ramaithitima; Vijay Kumar 001; George J. Pappas; Sanjit A. Seshia (ICCPS, 2016)

Automated Creation of Topological Maps in Unknown Environments Using a Swarm of Resource-Constrained Robots. - Rattanachai Ramaithitima; Michael Whitzer; Subhrajit Bhattacharya; Vijay Kumar 001 (IEEE Robotics Autom. Lett., 2016)

Landmark-based Exploration with Swarm of Resource Constrained Robots. - Rattanachai Ramaithitima; Subhrajit Bhattacharya (ICRA, 2018)