| Automated composition of motion primitives for multi-robot systems from safe LTL specifications I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014 | 166 | 2014 |
| Implan: Scalable incremental motion planning for multi-robot systems I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016 | 59 | 2016 |
| Automated creation of topological maps in unknown environments using a swarm of resource-constrained robots R Ramaithitima, M Whitzer, S Bhattacharya, V Kumar IEEE Robotics and Automation Letters 1 (2), 746-753, 2016 | 46 | 2016 |
| Sensor coverage robot swarms using local sensing without metric information R Ramaithitima, M Whitzer, S Bhattacharya, V Kumar 2015 IEEE International Conference on Robotics and Automation (ICRA), 3408-3415, 2015 | 38 | 2015 |
| Landmark-based exploration with swarm of resource constrained robots R Ramaithititima, S Bhattacharya 2018 IEEE international conference on robotics and automation (ICRA), 5034-5041, 2018 | 9 | 2018 |
| Automated composition of motion primitives for multi-robot systems from safe LTL specifications. In 2014 IEEE I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia RSJ International Conference on Intelligent Robots and Systems, 1525-1532, 0 | 7 | |
| Hierarchical strategy synthesis for pursuit-evasion problems R Ramaithitima, S Srivastava, S Bhattacharya, A Speranzon, V Kumar ECAI 2016, 1370-1378, 2016 | 6 | 2016 |
| Sensor-based Topological Coverage and Mapping Algorithms for Resource-constrained Robot Swarms R Ramaithitima University of Pennsylvania, 2019 | 1 | 2019 |
| Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications** This work was supported in part by TerraSwarm, one of six centers of STARnet … I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia | | 2014 |
| Automated composition of motion primitives for multi-robot systems from safe LTL I Saha, R Ramaithitima, V Kumar | | 2014 |
| Automated Creation of Topological Maps in Indoor Environments with a Swarm of Resource-Constrained Mobile Sensors R Ramaithitima, M Whitzer, S Bhattacharya, V Kumar | | |
