Indranil Saha - RankMe

84 papers A* 10A 11B 3C 5Misc 9Journal 28Unranked 17

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