Ratan Lal

MS in Computer Applications - Motilal Nehru National Institute of Technology Allahabad, India

The information in this page may be outdated, as Ratan Lal is no longer a member of the Institute.

Former PhD Student

Research Interests

Reachability analysis of linear dynamical system with uncertain parameter, non linear dynamical system, application of reachability analysis in compositional verification.