| 2025 | IROS | Online Concurrent Multi-Robot Coverage Path Planning. | Ratijit Mitra, Indranil Saha |
| 2024 | AAAI | Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time. | Aakash, Indranil Saha |
| 2024 | ICRA | Online On-Demand Multi-Robot Coverage Path Planning. | Ratijit Mitra, Indranil Saha |
| 2023 | AAAI | STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. | Nikhil Kumar Singh, Indranil Saha |
| 2023 | IROS | Approximation Algorithms for Charging Station Placement for Mobile Robots. | Tanmoy Kundu, Indranil Saha |
| 2022 | IROS | Temporal Logic Path Planning under Localization Uncertainty. | Amit Dhyani, Indranil Saha |
| 2022 | IROS | MT*: Multi-Robot Path Planning for Temporal Logic Specifications. | Dhaval Gujarathi, Indranil Saha |
| 2022 | IROS | Scalable Online Coverage Path Planning for Multi-Robot Systems. | Ratijit Mitra, Indranil Saha |
| 2021 | ICRA | SMT-Based Optimal Deployment of Mobile Rechargers. | Tanmoy Kundu, Indranil Saha |
| 2021 | IROS | Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. | Tanmoy Kundu, Indranil Saha |
| 2021 | IROS | DT*: Temporal Logic Path Planning in a Dynamic Environment. | Priya Purohit, Indranil Saha |
| 2020 | ICRA | T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications. | Danish Khalidi, Dhaval Gujarathi, Indranil Saha |
| 2019 | ICRA | Energy-Aware Temporal Logic Motion Planning for Mobile Robots. | Tanmoy Kundu, Indranil Saha |
| 2019 | IROS | DeepControl: Energy-Efficient Control of a Quadrotor using a Deep Neural Network. | Pratyush Varshney, Gajendra Nagar, Indranil Saha |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2018 | ICRA | Charging Station Placement for Indoor Robotic Applications. | Tanmoy Kundu, Indranil Saha |
| 2014 | IROS | Automated composition of motion primitives for multi-robot systems from safe LTL specifications. | Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia |
| 2013 | EMSOFT | Synthesis of fixed-point programs. | Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha |
| 2012 | EMSOFT | Synthesis of minimal-error control software. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2012 | EMSOFT | Trigger memoization in self-triggered control. | Indranil Saha, Rupak Majumdar |
| 2012 | FM | Automatic Dimensional Analysis of Cyber-Physical Systems. | Sam Owre, Indranil Saha, Natarajan Shankar |
| 2012 | ICRA | ModelRob: A Simulink Library for Model-Based Development of robot manipulators. | Indranil Saha, Natarajan Shankar |
| 2011 | EMSOFT | Performance-aware scheduler synthesis for control systems. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2010 | EMSOFT | Automatic verification of control system implementations. | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
| 2010 | MEMOCODE | Systematic testing for control applications. | Rupak Majumdar, Indranil Saha, Zilong Wang |
| 2009 | ICDCN | Security against Sybil Attack in Wireless Sensor Network through Location Verification. | Indranil Saha, Debapriyay Mukhopadhyay |
| 2009 | ICISS | Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. | Indranil Saha, Debapriyay Mukhopadhyay |
| 2009 | NSPW | A reinforcement model for collaborative security and Its formal analysis. | Janardan Misra, Indranil Saha |
| 2009 | RTSS | Symbolic Robustness Analysis. | Rupak Majumdar, Indranil Saha |
| 2007 | ATVA | Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. | Indranil Saha, Janardan Misra, Suman Roy |
| 2007 | SEFM | Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. | Indranil Saha, Suman Roy, Kuntal Chakraborty |
| 2007 | TAMC | A Distributed Algorithm of Fault Recovery for Stateful Failover. | Indranil Saha, Debapriyay Mukhopadhyay |
| 2006 | FMICS | A Finite State Modeling of AFDX Frame Management Using Spin. | Indranil Saha, Suman Roy |
| 2006 | ICDCN | Location Verification Based Defense Against Sybil Attack in Sensor Networks. | Debapriyay Mukhopadhyay, Indranil Saha |
| 2006 | PDCAT | Designing Reliable Architecture for Stateful Fault Tolerance. | Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee |