The documents referenced below are included by the contributing authors
as a means to ensure timely dissemination of scholarly and technical work
on a non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they
have offered their works here electronically. It is understood that all
persons copying this information will adhere to the terms and constraints
invoked by each author's copyright.
Book
B1. Analog Electronic Circuits
Balaram Saha and Indranil Saha
New Age International, June 2016
Journal Publications
J9. An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
pdf
Samvid Mistry, Indranil Saha and Swarnendu Biswas
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022)
J8. Specification Guided Automated Synthesis of Feedback Controllers
pdf
Nikhil Kumar Singh and Indranil Saha
ACM Trans. Embedded Comput. Syst. 20(5s): 80:1-80:26 (2021)
J7. Specification Guided Automatic Debugging of CPS Models
pdf
Nikhil Kumar Singh and Indranil Saha
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39(11): 4142-4153 (2020)
J6. AntLab: A Multi-Robot Task Server
pdf
Ivan Gavran, Rupak Majumdar and Indranil Saha
ACM Trans. Embedded Comput. Syst. 16(5): 190:1-190:19(2017)
J5. A Simplification of a Real-Time Verification Problem
pdf
Suman Roy, Janardan Misra, Indranil Saha
Software Testing, Verification and Reliability 26(8): 548-571 (2016)
J4. Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey
pdf
Indranil Saha, Suman Roy and S. Ramesh
The Proceedings of the IEEE 104(5): 904-922 (2016)
J3. Artificial Neural Networks in Hardware: A Survey of Two Decades of Progress
pdf
Janardan Misra and Indranil Saha
Neurocomputing, 74(1-3), 239-255, 2010
J2. Distributed Fault Tolerant Topology Control in Wireless Multi-hop Networks
pdf
Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro, Subhas K. Ghosh
Wireless Networks 16(6), 1511-1524, 2010
J1. Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid
pdf
Indranil Saha, Bhargab B. Bhattacharya, Sheng Zhang, and Sharad C. Seth
Fundamenta Informaticae 89(2-3), 331-344, 2008
Conference and Workshop Publications
C55. Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences
pdf
new
Nikhil Kumar Singh and Indranil Saha
AAMAS 2024
C54. Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time
pdf
new
Aakash and Indranil Saha
AAAI 2024
C53. Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
pdf
new
Thao Dang, Alexandre Donze, Inzemamul Haque, Nikolaos Kekatos and Indranil Saha
CDC 2023
C52. Approximation Algorithms for Charging Station Placement for Mobile Robots
pdf
new
Tanmoy Kundu and Indranil Saha
IROS 2023
C51. Safe Self-Triggered Control Based on Precomputed Reachability Sequences.
pdf
new
Arvind Adimoolam, Indranil Saha and Thao Dang
HSCC 2023
best repeatability evaluation award
C50. STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning
pdf
new
Nikhil Kumar Singh and Indranil Saha
AAAI 2023
C49. MT*: Multi-Robot Path Planning for Temporal Logic Specifications
pdf
Dhaval Gujarathi and Indranil Saha
IROS 2022
C48. Temporal Logic Path Planning under Localization Uncertainty
pdf
Amit Dhyani and Indranil Saha
IROS 2022
C47. Scalable Online Coverage Path Planning for Multi-Robot Systems
pdf
Ratijit Mitra and Indranil Saha
IROS 2022
C46. An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
pdf
Samvid Mistry, Indranil Saha and Swarnendu Biswas
EMSOFT 2022
C45. It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems
pdf
Aakash and Indranil Saha
ICAPS 2022
C44. Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
pdf
Arvind Adimoolam and Indranil Saha
HSCC 2022
best paper nomination
C43. DT*: Temporal Logic Path Planning in a Dynamic Environment
pdf
Priya Purohit and Indranil Saha
IROS 2021
C42. Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment
pdf
Tanmoy Kundu and Indranil Saha
IROS 2021
C41. Specification Guided Automated Synthesis of Feedback Controllers
pdf
Nikhil Kumar Singh and Indranil Saha
EMSOFT 2021
C40. OMCoRP: An Online Mechanism for Competitive Robot Prioritization
pdf
Sankar Narayan Das, Swaprava Nath and Indranil Saha
ICAPS 2021
C39. SMT-Based Optimal Deployment of Mobile Rechargers
pdf
Tanmoy Kundu and Indranil Saha
ICRA 2021
C38. Specification Guided Automatic Debugging of CPS Models
pdf
Nikhil Kumar Singh and Indranil Saha
EMSOFT 2020
C37. T*: A Heuristic Search Based Motion Planning Algorithm for Temporal Logic Specifications
pdf
Danish Khalidi, Dhaval Gujarathi and Indranil Saha
ICRA 2020
C36. DeepControl: Energy-Efficient Control of a Quadrotorusing a Deep Neural Network.
pdf
Pratyush Varshney, Gajendra Nagar and Indranil Saha
IROS 2019
C35. Energy-Aware Temporal Logic Motion Planning for Mobile Robots.
pdf
Tanmoy Kundu and Indranil Saha
ICRA 2019
C34. Embedded Software for Robotics: Challenges and Future Directions
pdf
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rudiger Ehler, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar and Dogan Ulus
EMSOFT 2018
C33. Charging Station Placement for Indoor Robotic Applications
pdf
Tanmoy Kundu and Indranil Saha
ICRA 2018
C32. Receding Horizon Multi-Robot Coverage
pdf
Sankar Narayan Das and Indranil Saha
ICCPS 2018
C31. Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming
pdf
Yasser Shoukry, PierLuigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas and Paulo Tabuada
CDC 2017
C30. ANTLAB: A Multi-Robot Task Server
pdf
Ivan Gavran, Rupak Majumdar and Indranil Saha
EMSOFT 2017
C29. DRONA: A Framework for Safe Distributed Mobile Robotics
pdf
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
ICCPS 2017
C28. Scalable Motion Planning Using Lazy SMT-Based Solving
pdf
Yasser Shoukry, PierLuigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas and Paulo Tabuada
CDC 2016
C27. Implan: A Scalable Incremental Motion Planning Framework for Multi-Robot Systems
pdf
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas and Sanjit A. Seshia
ICCPS 2016
C26. Dynamic Scheduling for Networked Control Systems
pdf
Indranil Saha, Sanjoy Baruah and Rupak Majumdar
HSCC 2015
C25. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications
pdf
Indranil Saha, Rattanachai Ramaitithima, Vijay Kumar, George J. Pappas and Sanjit A. Seshia
IROS 2014
C24. Compositional Equivalence Checking for Models and Code of Control Systems
pdf
Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
CDC 2013
C23. Synthesis of Fixed-Point Programs
pdf
Eva Darulova, Viktor Kuncak, Rupak Majumdar and Indranil Saha
EMSOFT 2013
C22. Trigger Memoization in Self-Triggered Control
pdf
Indranil Saha and Rupak Majumdar
EMSOFT 2012
C21. Synthesis of Minimal Error Control Software
pdf
Rupak Majumdar, Indranil Saha and Majid Zamani
EMSOFT 2012
best paper nomination
C20. Automatic Dimensional Analysis of Cyber-Physical Systems
pdf
Sam Owre, Indranil Saha and Natarajan Shankar
FM 2012
C19. CLSE: Closed-Loop Symbolic Execution
pdf
Rupak Majumdar, Indranil Saha, K. C. Shashidhar and Zilong Wang
NFM 2012
C18. ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators
pdf
Indranil Saha and Natarajan Shankar
ICRA 2012
C17. Performance-Aware Scheduler Synthesis for Control Systems
pdf
Rupak Majumdar, Indranil Saha and Majid Zamani
EMSOFT 2011
C16. Automatic Verification of Control System Implementations
pdf
Adolfo Anta, Rupak Majumdar, Indranil Saha and Paulo Tabuada
EMSOFT 2010
best paper award
C15. Systematic Testing for Control Applications
pdf
Rupak Majumdar, Indranil Saha and Zilong Wang
MemoCODE 2010
C14. Symbolic Robustness Analysis
pdf
Rupak Majumdar and Indranil Saha
RTSS 2009
C13. Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking
pdf
Indranil Saha and Debapriyay Mukhopadhyay
ICISS 2009
C12. A Reinforcement Model for Collaborative Security and its Formal Analysis
pdf
Janardan Misra and Indranil Saha
NSPW 2009
C11. An Approach to Reverse Engineering of C program to Simulink Models with Conformance Testing
pdf
Indranil Saha, Kuntal Chakraborty, Suman Roy, I. VishnuVardhan and Venkatappaia Kurapati
ISEC 2009
C10. Security against Sybil Attack in Wireless Sensor Network through Location Verification
pdf
Indranil Saha and Debapriyay Muhkopadhyay
ICDCN 2009
C9. Timeout and Calendar based Finite State Modeling and Verification of Real-Time Systems
pdf
Indranil Saha, Janardan Misra and Suman Roy
ATVA 2007
C8. Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
pdf
Indranil Saha, Suman Roy and Kuntal Chakraborty
SEFM 2007
C7. A Distributed Algorithm of Fault Recovery for Stateful Failover
pdf
Indranil Saha and Debapriyay Mukhopadhyay
TAMC 2007
C6. A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin
pdf
Indranil Saha and Suman Roy
ICCTA 2007
C5. Distributed Fault Tolerant Topology Control in Static and Mobile Wireless Ad-hoc Networks
pdf
Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro and Subhas K. Ghosh
COMSWARE 2007
C4. Location Verification Based Defense against Sybil Attack in Sensor Networks
pdf
Debapriyay Mukhopadhyay and Indranil Saha
ICDCN 2006
C3. Designing Reliable Architecture for Stateful Fault Tolerance
pdf
Indranil Saha, Debapriyay Mukhopadhyay and Satyajit Banerjee
PDCAT 2006
C2. A Finite State Modeling of AFDX Frame Management using Spin
pdf
Indranil Saha and Suman Roy
FMICS 2006
C1. Distributed Fault Tolerant Topology Control in Wireless Ad-hoc Sensor Networks
pdf
Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro and Subhas K. Ghosh
WOCN 2006