Остановите войну!
for scientists:
default search action
Indranil Saha
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2013
- [b1]Indranil Saha:
Closing the Gap in Control System Implementations. University of California, Los Angeles, USA, 2013
Journal Articles
- 2024
- [j10]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): 34913-34942 (2024) - 2022
- [j9]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): 4445-4456 (2022) - 2021
- [j8]Nikhil Kumar Singh, Indranil Saha:
Specification Guided Automated Synthesis of Feedback Controllers. ACM Trans. Embed. Comput. Syst. 20(5s): 80:1-80:26 (2021) - 2020
- [j7]Nikhil Kumar Singh, Indranil Saha:
Specification-Guided Automated Debugging of CPS Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4142-4153 (2020) - 2017
- [j6]Ivan Gavran, Rupak Majumdar, Indranil Saha:
Antlab: A Multi-Robot Task Server. ACM Trans. Embed. Comput. Syst. 16(5s): 190:1-190:19 (2017) - 2016
- [j5]Indranil Saha, Suman Roy, S. Ramesh:
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. Proc. IEEE 104(5): 904-922 (2016) - [j4]Suman Roy, Janardan Misra, Indranil Saha:
A simplification of a real-time verification problem. Softw. Test. Verification Reliab. 26(8): 548-571 (2016) - 2010
- [j3]Janardan Misra, Indranil Saha:
Artificial neural networks in hardware: A survey of two decades of progress. Neurocomputing 74(1-3): 239-255 (2010) - [j2]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): 1511-1524 (2010) - 2008
- [j1]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): 331-344 (2008)
Conference and Workshop Papers
- 2024
- [c51]Aakash, Indranil Saha:
Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time. AAAI 2024: 10280-10287 - [c50]Nikhil Kumar Singh, Indranil Saha:
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. AAMAS 2024: 1754-1762 - [c49]Rohit Singh, Indranil Saha:
An Online Planning Framework for Multi-Robot Systems with LTL Specification. ICCPS 2024: 180-191 - 2023
- [c48]Nikhil Kumar Singh, Indranil Saha:
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. AAAI 2023: 15118-15126 - [c47]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC 2023: 5339-5344 - [c46]Arvind Adimoolam, Indranil Saha, Thao Dang:
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC 2023: 7:1-7:12 - [c45]Tanmoy Kundu, Indranil Saha:
Approximation Algorithms for Charging Station Placement for Mobile Robots. IROS 2023: 4770-4776 - 2022
- [c44]Aakash, Indranil Saha:
It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems. ICAPS 2022: 2-10 - [c43]Arvind Adimoolam, Indranil Saha:
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. HSCC 2022: 1:1-1:11 - [c42]Ratijit Mitra, Indranil Saha:
Scalable Online Coverage Path Planning for Multi-Robot Systems. IROS 2022: 10102-10109 - [c41]Amit Dhyani, Indranil Saha:
Temporal Logic Path Planning under Localization Uncertainty. IROS 2022: 10563-10570 - [c40]Dhaval Gujarathi, Indranil Saha:
MT*: Multi-Robot Path Planning for Temporal Logic Specifications. IROS 2022: 13692-13699 - 2021
- [c39]Sankar Narayan Das, Swaprava Nath, Indranil Saha:
OMCoRP: An Online Mechanism for Competitive Robot Prioritization. ICAPS 2021: 112-121 - [c38]Tanmoy Kundu, Indranil Saha:
SMT-Based Optimal Deployment of Mobile Rechargers. ICRA 2021: 8165-8171 - [c37]Priya Purohit, Indranil Saha:
DT*: Temporal Logic Path Planning in a Dynamic Environment. IROS 2021: 3627-3634 - [c36]Tanmoy Kundu, Indranil Saha:
Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. IROS 2021: 3635-3642 - 2020
- [c35]Danish Khalidi, Dhaval Gujarathi, Indranil Saha:
T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications. ICRA 2020: 8476-8482 - 2019
- [c34]Tanmoy Kundu, Indranil Saha:
Energy-Aware Temporal Logic Motion Planning for Mobile Robots. ICRA 2019: 8599-8605 - [c33]Pratyush Varshney, Gajendra Nagar, Indranil Saha:
DeepControl: Energy-Efficient Control of a Quadrotor using a Deep Neural Network. IROS 2019: 43-50 - 2018
- [c32]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: 10 - [c31]Sankar Narayan Das, Indranil Saha:
Rhocop: receding horizon multi-robot coverage. ICCPS 2018: 174-185 - [c30]Tanmoy Kundu, Indranil Saha:
Charging Station Placement for Indoor Robotic Applications. ICRA 2018: 3029-3036 - 2017
- [c29]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: 1132-1137 - [c28]Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia:
DRONA: a framework for safe distributed mobile robotics. ICCPS 2017: 239-248 - 2016
- [c27]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: 6683-6688 - [c26]Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia:
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. ICCPS 2016: 43:1-43:10 - 2015
- [c25]Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar:
Dynamic scheduling for networked control systems. HSCC 2015: 98-107 - 2014
- [c24]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: 1525-1532 - 2013
- [c23]Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel:
Compositional equivalence checking for models and code of control systems. CDC 2013: 1564-1571 - [c22]Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha:
Synthesis of fixed-point programs. EMSOFT 2013: 22:1-22:10 - 2012
- [c21]Indranil Saha, Rupak Majumdar:
Trigger memoization in self-triggered control. EMSOFT 2012: 103-112 - [c20]Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of minimal-error control software. EMSOFT 2012: 123-132 - [c19]Sam Owre, Indranil Saha, Natarajan Shankar:
Automatic Dimensional Analysis of Cyber-Physical Systems. FM 2012: 356-371 - [c18]Indranil Saha, Natarajan Shankar:
ModelRob: A Simulink Library for Model-Based Development of robot manipulators. ICRA 2012: 2654-2659 - [c17]Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang:
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370 - 2011
- [c16]Rupak Majumdar, Indranil Saha, Majid Zamani:
Performance-aware scheduler synthesis for control systems. EMSOFT 2011: 299-308 - 2010
- [c15]Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada:
Automatic verification of control system implementations. EMSOFT 2010: 9-18 - [c14]Rupak Majumdar, Indranil Saha, Zilong Wang:
Systematic testing for control applications. MEMOCODE 2010: 1-10 - 2009
- [c13]Indranil Saha, Debapriyay Mukhopadhyay:
Security against Sybil Attack in Wireless Sensor Network through Location Verification. ICDCN 2009: 187-192 - [c12]Indranil Saha, Debapriyay Mukhopadhyay:
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. ICISS 2009: 292-300 - [c11]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: 137-138 - [c10]Janardan Misra, Indranil Saha:
A reinforcement model for collaborative security and Its formal analysis. NSPW 2009: 101-114 - [c9]Rupak Majumdar, Indranil Saha:
Symbolic Robustness Analysis. RTSS 2009: 355-363 - 2007
- [c8]Indranil Saha, Janardan Misra, Suman Roy:
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299 - [c7]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 - [c6]Indranil Saha, Suman Roy:
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA 2007: 77-81 - [c5]Indranil Saha, Suman Roy, Kuntal Chakraborty:
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM 2007: 69-79 - [c4]Indranil Saha, Debapriyay Mukhopadhyay:
A Distributed Algorithm of Fault Recovery for Stateful Failover. TAMC 2007: 738-749 - 2006
- [c3]Indranil Saha, Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC 2006: 227-243 - [c2]Debapriyay Mukhopadhyay, Indranil Saha:
Location Verification Based Defense Against Sybil Attack in Sensor Networks. ICDCN 2006: 509-521 - [c1]Indranil Saha, Debapriyay Mukhopadhyay, Satyajit Banerjee:
Designing Reliable Architecture for Stateful Fault Tolerance. PDCAT 2006: 545-551
Editorship
- 2021
- [e1]S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang:
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM 2021, ISBN 978-1-4503-9127-6 [contents]
Informal and Other Publications
- 2024
- [i15]Nikhil Kumar Singh, Indranil Saha:
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. CoRR abs/2402.05963 (2024) - [i14]Aakash, Indranil Saha:
A Conflict-Aware Optimal Goal Assignment Algorithm for Multi-Robot Systems. CoRR abs/2402.13292 (2024) - [i13]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 abs/2403.01277 (2024) - [i12]Ratijit Mitra, Indranil Saha:
Online Concurrent Multi-Robot Coverage Path Planning. CoRR abs/2403.10460 (2024) - [i11]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR abs/2403.16593 (2024) - 2023
- [i10]Ratijit Mitra, Indranil Saha:
Online On-Demand Multi-Robot Coverage Path Planning. CoRR abs/2303.00047 (2023) - 2022
- [i9]Nikhil Kumar Singh, Indranil Saha:
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. CoRR abs/2212.01022 (2022) - 2021
- [i8]Tanmoy Kundu, Indranil Saha:
Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. CoRR abs/2102.12296 (2021) - [i7]Dhaval Gujarathi, Indranil Saha:
MT* : Multi-Robot Path Planning for Temporal Logic Specifications. CoRR abs/2103.02821 (2021) - [i6]Priya Purohit, Indranil Saha:
DT*: Temporal Logic Path Planning in a Dynamic Environment. CoRR abs/2103.02849 (2021) - 2019
- [i5]Sankar Narayan Das, Swaprava Nath, Indranil Saha:
SPARCAS: A Decentralized, Truthful Multi-Agent Collision-free Path Finding Mechanism. CoRR abs/1909.08290 (2019) - [i4]Ayan Chakraborty, Indranil Saha:
Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of Attraction. CoRR abs/1911.03870 (2019) - 2018
- [i3]Danish Khalidi, Indranil Saha:
T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals. CoRR abs/1809.05817 (2018) - 2012
- [i2]Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of Minimal Error Control Software. CoRR abs/1204.2857 (2012) - 2010
- [i1]Indranil Saha, Janardan Misra, Suman Roy:
A Simplification of a Real-Time Verification Problem. CoRR abs/1008.1417 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-19 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint