Follow
Indranil Saha
Title
Cited by
Cited by
Year
Artificial neural networks in hardware: A survey of two decades of progress
J Misra, I Saha
Neurocomputing 74 (1-3), 239-255, 2010
8262010
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
1622014
Drona: A framework for safe distributed mobile robotics
A Desai, I Saha, J Yang, S Qadeer, SA Seshia
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
992017
Automatic verification of control system implementations
A Anta, R Majumdar, I Saha, P Tabuada
Proceedings of the tenth ACM international conference on Embedded software, 9-18, 2010
792010
Symbolic robustness analysis
R Majumdar, I Saha
2009 30th IEEE Real-Time Systems Symposium, 355-363, 2009
772009
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ...
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1132-1137, 2017
662017
Scalable lazy SMT-based motion planning
Y Shoukry, P Nuzzo, I Saha, AL Sangiovanni-Vincentelli, SA Seshia, ...
2016 IEEE 55th Conference on Decision and Control (CDC), 6683-6688, 2016
53*2016
Implan: scalable incremental motion planning for multi-robot systems
I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
532016
Synthesis of fixed-point programs
E Darulova, V Kuncak, R Majumdar, I Saha
2013 Proceedings of the International Conference on Embedded Software …, 2013
462013
Performance-aware scheduler synthesis for control systems
R Majumdar, I Saha, M Zamani
Proceedings of the ninth ACM international conference on Embedded software …, 2011
432011
Distributed fault-tolerant topology control in wireless multi-hop networks
I Saha, LK Sambasivan, SK Ghosh, RK Patro
Wireless Networks 16, 1511-1524, 2010
352010
Synthesis of minimal-error control software
R Majumdar, I Saha, M Zamani
Proceedings of the tenth ACM international conference on Embedded software …, 2012
332012
ANTLAB: a multi-robot task server
I Gavran, R Majumdar, I Saha
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
312017
Dynamic scheduling for networked control systems
I Saha, S Baruah, R Majumdar
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
272015
Location verification based defense against sybil attack in sensor networks
D Mukhopadhyay, I Saha
Distributed Computing and Networking: 8th International Conference, ICDCN …, 2006
262006
CLSE: Closed-loop symbolic execution
R Majumdar, I Saha, KC Shashidhar, Z Wang
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
252012
A finite state analysis of time-triggered CAN (TTCAN) protocol using spin
I Saha, S Roy
2007 International Conference on Computing: Theory and Applications (ICCTA …, 2007
242007
Systematic testing for control applications
R Majumdar, I Saha, Z Wang
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
212010
Adaptive learning for enterprise threat managment
J Misra, I Saha
US Patent App. 12/171,231, 2010
212010
T*: A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications
D Khalidi, D Gujarathi, I Saha
2020 IEEE International Conference on Robotics and Automation (ICRA), 8476-8482, 2020
20*2020
The system can't perform the operation now. Try again later.
Articles 1–20