Ratan Lal

La información de esta página podría estar desactualizada debido a que Ratan Lal no es actualmente miembro del Instituto.

MSc - Instituto Nacional de Tecnología Motilal Nehru Allahabad, India
Antiguo PhD Student

Tutor: Pavithra Prabhakar

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Research Interests

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