Indranil Saha
Orcid: 0000-0002-1329-8286
According to our database1,
Indranil Saha
authored at least 70 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Multim. Tools Appl., April, 2024
CoRR, 2024
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery.
CoRR, 2024
CoRR, 2024
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
IROS, 2023
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.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
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.
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.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications.
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.
CoRR, 2019
SPARCAS: A Decentralized, Truthful Multi-Agent Collision-free Path Finding Mechanism.
CoRR, 2019
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
2018
CoRR, 2018
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the International Conference on Embedded Software, 2018
2017
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.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Softw. Test. Verification Reliab., 2016
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.
Proc. IEEE, 2016
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
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.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
2013
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Wirel. Networks, 2010
Neurocomputing, 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Proceedings of the 10th International conference on Embedded software, 2010
2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 2009 Workshop on New Security Paradigms, 2009
An approach to reverse engineering of C programs to simulink models with conformance testing.
Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.
Proceedings of the Information Systems Security, 5th International Conference, 2009
Security against Sybil Attack in Wireless Sensor Network through Location Verification.
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.
Fundam. Informaticae, 2008
2007
Proceedings of the Theory and Applications of Models of Computation, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
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.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006
Proceedings of the Formal Methods: Applications and Technology, 2006