Ratan Lal
The information in this page may be outdated, as Ratan Lal is currently not a member of the Institute.
MSc - Motilal Nehru National Institute of Technology Allahabad, India
Former PhD Student
Adviser: Pavithra Prabhakar
Former PhD Student
Adviser: Pavithra Prabhakar
Research Interests
Reachability analysis of linear dynamical system with uncertain parameter, non linear dynamical system, application of reachability analysis in compositional verification.