Concepedia

Indranil Saha

IS

Statistics

Publications

29

Citations

1.5K

H-Index

19

Active since

2006

Affiliations

Indian Institute of Technology Kanpur(Current)

University of California, Los Angeles

Max Planck Institute for Software Systems

University of California, Berkeley

University of Pennsylvania

Indranil Saha is an author at Indian Institute of Technology Kanpur specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsFormal VerificationRoboticsAutomationVerificationTrajectory Planning

Publications per year

2006–2022

29

Publications

29

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

Janardan Misra, Indranil Saha · Neurocomputing · 2010 · 640 citations

Artificial Intelligence, Evolving Neural Network, Engineering +9

Automated composition of motion primitives for multi-robot systems from safe LTL specifications

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar et al. · 2014 · 126 citations

Artificial Intelligence, Robot Kinematics, Optimal Cost Trajectories +24

Symbolic Robustness Analysis

Rupak Majumdar, Indranil Saha · 2009 · 75 citations

Engineering, Verification, Robustness Testing +20

Ankush Desai, Indranil Saha, Jianqiao Yang et al. · 2017 · 73 citations

Multi-robot Team, Formal Guarantees, Engineering +12

Automatic verification of control system implementations

Adolfo Anta, Rupak Majumdar, Indranil Saha et al. · 2010 · 61 citations

Engineering, Verification, Computer-aided Verification +22

1–5 of 29