Indranil Saha

According to our database, Indranil Saha authored at least 68 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

RSA based improved YOLOv3 network for segmentation and detection of weed species.

Mukesh Madanan, N. Muthukumaran, Shrikant Tiwari, A. Vijay, Indranil Saha

Multim. Tools Appl., April, 2024

Online Concurrent Multi-Robot Coverage Path Planning.

Ratijit Mitra, Indranil Saha

CoRR, 2024

Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery.

Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik

CoRR, 2024

A Conflict-Aware Optimal Goal Assignment Algorithm for Multi-Robot Systems.

Aakash, Indranil Saha

CoRR, 2024

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences.

Nikhil Kumar Singh, Indranil Saha

CoRR, 2024

Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time.

Aakash, Indranil Saha

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Online On-Demand Multi-Robot Coverage Path Planning.

Ratijit Mitra, Indranil Saha

CoRR, 2023

Approximation Algorithms for Charging Station Placement for Mobile Robots.

Tanmoy Kundu, Indranil Saha

IROS, 2023

Safe Self-Triggered Control Based on Precomputed Reachability Sequences.

Arvind Adimoolam, Indranil Saha, Thao Dang

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.

Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning.

Nikhil Kumar Singh, Indranil Saha

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks.

Samvid Mistry, Indranil Saha, Swarnendu Biswas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Scalable Online Coverage Path Planning for Multi-Robot Systems.

Ratijit Mitra, Indranil Saha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

MT*: Multi-Robot Path Planning for Temporal Logic Specifications.

Dhaval Gujarathi, Indranil Saha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Temporal Logic Path Planning under Localization Uncertainty.

Amit Dhyani, Indranil Saha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis.

Arvind Adimoolam, Indranil Saha

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems.

Aakash, Indranil Saha

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Specification Guided Automated Synthesis of Feedback Controllers.

Nikhil Kumar Singh, Indranil Saha

ACM Trans. Embed. Comput. Syst., 2021

DT*: Temporal Logic Path Planning in a Dynamic Environment.

Priya Purohit, Indranil Saha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment.

Tanmoy Kundu, Indranil Saha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

SMT-Based Optimal Deployment of Mobile Rechargers.

Tanmoy Kundu, Indranil Saha

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

OMCoRP: An Online Mechanism for Competitive Robot Prioritization.

Sankar Narayan Das, Swaprava Nath, Indranil Saha

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Specification-Guided Automated Debugging of CPS Models.

Nikhil Kumar Singh, Indranil Saha

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications.

Danish Khalidi, Dhaval Gujarathi, Indranil Saha

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of Attraction.

Ayan Chakraborty, Indranil Saha

CoRR, 2019

SPARCAS: A Decentralized, Truthful Multi-Agent Collision-free Path Finding Mechanism.

Sankar Narayan Das, Swaprava Nath, Indranil Saha

CoRR, 2019

DeepControl: Energy-Efficient Control of a Quadrotor using a Deep Neural Network.

Pratyush Varshney, Gajendra Nagar, Indranil Saha

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Energy-Aware Temporal Logic Motion Planning for Mobile Robots.

Tanmoy Kundu, Indranil Saha

Proceedings of the International Conference on Robotics and Automation, 2019

2018

T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals.

Danish Khalidi, Indranil Saha

CoRR, 2018

Charging Station Placement for Indoor Robotic Applications.

Tanmoy Kundu, Indranil Saha

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Rhocop: receding horizon multi-robot coverage.

Sankar Narayan Das, Indranil Saha

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Embedded software for robotics: challenges and future directions: special session.

Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus

Proceedings of the International Conference on Embedded Software, 2018

2017

Antlab: A Multi-Robot Task Server.

Ivan Gavran, Rupak Majumdar, Indranil Saha

ACM Trans. Embed. Comput. Syst., 2017

DRONA: a framework for safe distributed mobile robotics.

Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.

Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

A simplification of a real-time verification problem.

Suman Roy, Janardan Misra, Indranil Saha

Softw. Test. Verification Reliab., 2016

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.

Indranil Saha, Suman Roy, S. Ramesh

Proc. IEEE, 2016

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems.

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Scalable lazy SMT-based motion planning.

Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Dynamic scheduling for networked control systems.

Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

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

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

2013

Closing the Gap in Control System Implementations.

Indranil Saha

PhD thesis, 2013

Synthesis of fixed-point programs.

Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha

Proceedings of the International Conference on Embedded Software, 2013

Compositional equivalence checking for models and code of control systems.

Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

CLSE: Closed-Loop Symbolic Execution.

Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang

Proceedings of the NASA Formal Methods, 2012

ModelRob: A Simulink Library for Model-Based Development of robot manipulators.

Indranil Saha, Natarajan Shankar

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Automatic Dimensional Analysis of Cyber-Physical Systems.

Sam Owre, Indranil Saha, Natarajan Shankar

Proceedings of the FM 2012: Formal Methods, 2012

Trigger memoization in self-triggered control.

Indranil Saha, Rupak Majumdar

Proceedings of the 12th International Conference on Embedded Software, 2012

Synthesis of minimal-error control software.

Rupak Majumdar, Indranil Saha, Majid Zamani

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Performance-aware scheduler synthesis for control systems.

Rupak Majumdar, Indranil Saha, Majid Zamani

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Distributed fault-tolerant topology control in wireless multi-hop networks.

Indranil Saha, Lokesh Kumar Sambasivan, Subhas Kumar Ghosh, Ranjeet Kumar Patro

Wirel. Networks, 2010

Artificial neural networks in hardware: A survey of two decades of progress.

Janardan Misra, Indranil Saha

Neurocomputing, 2010

Systematic testing for control applications.

Rupak Majumdar, Indranil Saha, Zilong Wang

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Automatic verification of control system implementations.

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada

Proceedings of the 10th International conference on Embedded software, 2010

2009

Symbolic Robustness Analysis.

Rupak Majumdar, Indranil Saha

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A reinforcement model for collaborative security and Its formal analysis.

Janardan Misra, Indranil Saha

Proceedings of the 2009 Workshop on New Security Paradigms, 2009

An approach to reverse engineering of C programs to simulink models with conformance testing.

Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma

Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.

Indranil Saha, Debapriyay Mukhopadhyay

Proceedings of the Information Systems Security, 5th International Conference, 2009

Security against Sybil Attack in Wireless Sensor Network through Location Verification.

Indranil Saha, Debapriyay Mukhopadhyay

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008

Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid.

Indranil Saha, Bhargab B. Bhattacharya, Sheng Zhang, Sharad C. Seth

Fundam. Informaticae, 2008

2007

A Distributed Algorithm of Fault Recovery for Stateful Failover.

Indranil Saha, Debapriyay Mukhopadhyay

Proceedings of the Theory and Applications of Models of Computation, 2007

Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.

Indranil Saha, Suman Roy, Kuntal Chakraborty

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.

Indranil Saha, Suman Roy

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks.

Indranil Saha, Lokesh Kumar Sambasivan, Ranjeet Kumar Patro, Subhas Kumar Ghosh

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.

Indranil Saha, Janardan Misra, Suman Roy

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Designing Reliable Architecture for Stateful Fault Tolerance.

Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee

Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

Location Verification Based Defense Against Sybil Attack in Sensor Networks.

Debapriyay Mukhopadhyay, Indranil Saha

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

A Finite State Modeling of AFDX Frame Management Using Spin.

Indranil Saha, Suman Roy

Proceedings of the Formal Methods: Applications and Technology, 2006