Italian Trulli

I am Ratan Lal, a third year Ph.D. student in Dr. Pavithra Prabhakar‘s group at Kansas State University. Before joining KSU, I worked with Dr. Pavithra Prabhakar as a Research Assistant at IMDEA Software Institute, Madrid, Spain. I got Master of Technology in Computer Science (M.Tech.(CS)) from Indian Statistical Institute, Kolakata, Master of Computer Application (M.C.A.) from Motilal Nehru National Institute of Technology, Allahabad, and Bachelor of Science in Mathematics and Statistics (B.Sc.(Maths & Stats)) from University of Allahabad.


Research Interests:

Formal verification of cyber-physical systems, application of formal verification for systems such as Aircraft, Robots,Medical devices, and etc.

Contacts:

Email: ratan@ksu.edu

Conference Papers:

  • Pavithra Prabhakar , Ratan Lal and James Kapinski, Automatic Trace Generation for Signal Temporal Logic, RTSS, 2018
    [Link] [pdf][BibTex]
  • Ratan Lal, Pavithra Prabhakar, Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems, ALLERTON, 2018
    [Link] [pdf][BibTex]
  • Ratan Lal, Pavithra Prabhakar, Bounded Verification of Reachability of Probabilistic Hybrid Systems, QEST, 2018
    [Link] [pdf][BibTex]
  • Ratan Lal, Pavithra Prabhakar, Safety analysis using compositional bounded error approximations of communicating hybrid systems, CDC, 2017
    [Link] [pdf][BibTex]
  • Ratan Lal, Ajay Sharda and Pavithra Prabhakar, Optimal multi-robot path planning for pesticide spraying in agricultural fields, CDC, 2017
    [Link] [pdf][BibTex]
  • Pavithra Prabhakar, Miriam Garcia Soto and Ratan Lal, Verification Techniques for Hybrid Systems, ISoLA, 2016
    [Link] [pdf][BibTex]
  • Ratan Lal, Pavithra Prabhakar, Bounded error flowpipe computation of parameterized linear systems, EMSOFT, 2015
    [Link] [pdf][BibTex]
  • Pierre Ganty, Samir Genaim, Ratan Lal and Pavithra Prabhakar, From non-zenoness verification to termination, MEMOCODE, 2015
    [Link] [pdf][BibTex]