Indranil Saha

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 47

Top Topics

Receding Horizon

Top Venues

Publications

Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR (2024)
Aakash, Indranil Saha
A Conflict-Aware Optimal Goal Assignment Algorithm for Multi-Robot Systems. CoRR (2024)
Nikhil Kumar Singh, Indranil Saha
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. CoRR (2024)
Ratijit Mitra, Indranil Saha
Online Concurrent Multi-Robot Coverage Path Planning. CoRR (2024)
Ratijit Mitra, Indranil Saha
Online On-Demand Multi-Robot Coverage Path Planning. ICRA (2024)
Mukesh Madanan, N. Muthukumaran, Shrikant Tiwari, A. Vijay, Indranil Saha
RSA based improved YOLOv3 network for segmentation and detection of weed species. Multim. Tools Appl. 83 (12) (2024)
Rohit Singh, Indranil Saha
An Online Planning Framework for Multi-Robot Systems with LTL Specification. ICCPS (2024)
Nikhil Kumar Singh, Indranil Saha
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. AAMAS (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR (2024)
Aakash, Indranil Saha
Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time. AAAI (2024)
Nikhil Kumar Singh, Indranil Saha
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. AAAI (2023)
Ratijit Mitra, Indranil Saha
Online On-Demand Multi-Robot Coverage Path Planning. CoRR (2023)
Arvind Adimoolam, Indranil Saha, Thao Dang
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC (2023)
Tanmoy Kundu, Indranil Saha
Approximation Algorithms for Charging Station Placement for Mobile Robots. IROS (2023)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC (2023)
Arvind Adimoolam, Indranil Saha
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. HSCC (2022)
Nikhil Kumar Singh, Indranil Saha
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. CoRR (2022)
Ratijit Mitra, Indranil Saha
Scalable Online Coverage Path Planning for Multi-Robot Systems. IROS (2022)
Samvid Mistry, Indranil Saha, Swarnendu Biswas
An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Amit Dhyani, Indranil Saha
Temporal Logic Path Planning under Localization Uncertainty. IROS (2022)
Dhaval Gujarathi, Indranil Saha
MT*: Multi-Robot Path Planning for Temporal Logic Specifications. IROS (2022)
Aakash, Indranil Saha
It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems. ICAPS (2022)
Priya Purohit, Indranil Saha
DT*: Temporal Logic Path Planning in a Dynamic Environment. CoRR (2021)
Tanmoy Kundu, Indranil Saha
Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. IROS (2021)
Nikhil Kumar Singh, Indranil Saha
Specification Guided Automated Synthesis of Feedback Controllers. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Priya Purohit, Indranil Saha
DT*: Temporal Logic Path Planning in a Dynamic Environment. IROS (2021)
Dhaval Gujarathi, Indranil Saha
MT* : Multi-Robot Path Planning for Temporal Logic Specifications. CoRR (2021)
Tanmoy Kundu, Indranil Saha
Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. CoRR (2021)
Sankar Narayan Das, Swaprava Nath, Indranil Saha
OMCoRP: An Online Mechanism for Competitive Robot Prioritization. ICAPS (2021)
Tanmoy Kundu, Indranil Saha
SMT-Based Optimal Deployment of Mobile Rechargers. ICRA (2021)
Nikhil Kumar Singh, Indranil Saha
Specification-Guided Automated Debugging of CPS Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Danish Khalidi, Dhaval Gujarathi, Indranil Saha
T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications. ICRA (2020)
Sankar Narayan Das, Swaprava Nath, Indranil Saha
SPARCAS: A Decentralized, Truthful Multi-Agent Collision-free Path Finding Mechanism. CoRR (2019)
Pratyush Varshney, Gajendra Nagar, Indranil Saha
DeepControl: Energy-Efficient Control of a Quadrotor using a Deep Neural Network. IROS (2019)
Ayan Chakraborty, Indranil Saha
Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of Attraction. CoRR (2019)
Tanmoy Kundu, Indranil Saha
Energy-Aware Temporal Logic Motion Planning for Mobile Robots. ICRA (2019)
Danish Khalidi, Indranil Saha
T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals. CoRR (2018)
Sankar Narayan Das, Indranil Saha
Rhocop: receding horizon multi-robot coverage. ICCPS (2018)
Tanmoy Kundu, Indranil Saha
Charging Station Placement for Indoor Robotic Applications. ICRA (2018)
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
Embedded software for robotics: challenges and future directions: special session. EMSOFT (2018)
Ivan Gavran, Rupak Majumdar, Indranil Saha
Antlab: A Multi-Robot Task Server. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia
DRONA: a framework for safe distributed mobile robotics. ICCPS (2017)
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC (2017)
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. ICCPS (2016)
Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Scalable lazy SMT-based motion planning. CDC (2016)
Indranil Saha, Suman Roy, S. Ramesh
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. Proc. IEEE 104 (5) (2016)
Suman Roy, Janardan Misra, Indranil Saha
A simplification of a real-time verification problem. Softw. Test. Verification Reliab. 26 (8) (2016)
Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar
Dynamic scheduling for networked control systems. HSCC (2015)
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
Automated composition of motion primitives for multi-robot systems from safe LTL specifications. IROS (2014)
Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
Synthesis of fixed-point programs. EMSOFT (2013)
Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
Compositional equivalence checking for models and code of control systems. CDC (2013)
Indranil Saha, Rupak Majumdar
Trigger memoization in self-triggered control. EMSOFT (2012)
Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods (2012)
Rupak Majumdar, Indranil Saha, Majid Zamani
Synthesis of minimal-error control software. EMSOFT (2012)
Sam Owre, Indranil Saha, Natarajan Shankar
Automatic Dimensional Analysis of Cyber-Physical Systems. FM (2012)
Indranil Saha, Natarajan Shankar
ModelRob: A Simulink Library for Model-Based Development of robot manipulators. ICRA (2012)
Rupak Majumdar, Indranil Saha, Majid Zamani
Synthesis of Minimal Error Control Software CoRR (2012)
Rupak Majumdar, Indranil Saha, Majid Zamani
Performance-aware scheduler synthesis for control systems. EMSOFT (2011)
Rupak Majumdar, Indranil Saha, Zilong Wang
Systematic testing for control applications. MEMOCODE (2010)
Janardan Misra, Indranil Saha
Artificial neural networks in hardware: A survey of two decades of progress. Neurocomputing 74 (1-3) (2010)
Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada
Automatic verification of control system implementations. EMSOFT (2010)
Indranil Saha, Janardan Misra, Suman Roy
A Simplification of a Real-Time Verification Problem CoRR (2010)
Indranil Saha, Lokesh Kumar Sambasivan, Subhas Kumar Ghosh, Ranjeet Kumar Patro
Distributed fault-tolerant topology control in wireless multi-hop networks. Wirel. Networks 16 (6) (2010)
Janardan Misra, Indranil Saha
A reinforcement model for collaborative security and Its formal analysis. NSPW (2009)
Indranil Saha, Debapriyay Mukhopadhyay
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. ICISS (2009)
Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma
An approach to reverse engineering of C programs to simulink models with conformance testing. ISEC (2009)
Indranil Saha, Debapriyay Mukhopadhyay
Security against Sybil Attack in Wireless Sensor Network through Location Verification. ICDCN (2009)
Rupak Majumdar, Indranil Saha
Symbolic Robustness Analysis. RTSS (2009)
Indranil Saha, Bhargab B. Bhattacharya, Sheng Zhang, Sharad C. Seth
Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid. Fundam. Informaticae 89 (2-3) (2008)
Indranil Saha, Lokesh Kumar Sambasivan, Ranjeet Kumar Patro, Subhas Kumar Ghosh
Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks. COMSWARE (2007)
Indranil Saha, Suman Roy, Kuntal Chakraborty
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM (2007)
Indranil Saha, Suman Roy
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA (2007)
Indranil Saha, Janardan Misra, Suman Roy
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA (2007)
Indranil Saha, Debapriyay Mukhopadhyay
A Distributed Algorithm of Fault Recovery for Stateful Failover. TAMC (2007)
Debapriyay Mukhopadhyay, Indranil Saha
Location Verification Based Defense Against Sybil Attack in Sensor Networks. ICDCN (2006)
Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee
Designing Reliable Architecture for Stateful Fault Tolerance. PDCAT (2006)
Indranil Saha, Suman Roy
A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC (2006)