Publications

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

C57. Online Concurrent Multi-Robot Coverage Path Planning   pdf   new
    Ratijit Mitra and Indranil Saha
    ICRA 2024

C56. Specification-Based Synthesis of Feedback Controllers using Reinforcement Learning   pdf   new
    Rohit Singh and Indranil Saha
    ICCPS 2024

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
    Thao Dang, Alexandre Donze, Inzemamul Haque, Nikolaos Kekatos and Indranil Saha
    CDC 2023

C52. Approximation Algorithms for Charging Station Placement for Mobile Robots   pdf
    Tanmoy Kundu and Indranil Saha
    IROS 2023

C51. Safe Self-Triggered Control Based on Precomputed Reachability Sequences.   pdf
    Arvind Adimoolam, Indranil Saha and Thao Dang
    HSCC 2023
    best repeatability evaluation award

C50. STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning   pdf
    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