Conference Papers

  1. Pavithra Prabhakar, Ratan Lal and James Kapinski, Automatic Trace Generation for Signal Temporal Logic. 39th IEEE Real-Time Systems Symposium (RTSS), 2018

  2. Ratan Lal and Pavithra Prabhakar, Bounded Verification of Reachability of Probabilistic Hybrid Systems.
    15th International Conference on Quantitative Evaluation of Systems (QEST), 2018

  3. Ratan Lal and Pavithra Prabhakar, Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2018

  4. Ratan Lal and Pavithra Prabhakar, Safety Analysis using Compositional Bounded Error Approximations of Communicating Hybrid Systems. 56th IEEE Conference on Decision and Control (CDC), 2017

  5. Ratan Lal, Ajay Sharda and Pavithra Prabhakar, Optimal Multi-robot Path Planning for Pesticide Spraying in Agricultural Fields. 56th IEEE Conference on Decision and Control (CDC), 2017

  6. Pavithra Prabhakar, Miriam Garcia Soto and Ratan Lal, Verification Techniques for Hybrid Systems.
    7th International Symposium, ISoLA 2016

  7. Pierre Ganty, Samir Genaim, Ratan Lal and Pavithra Prabhakar, From Non-Zenoness Verification to Termination. ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2015

  8. Ratan Lal and Pavithra Prabhakar, Bounded error flowpipe computation of parameterized linear systems.
    15th International Conference on Embedded Software (EMSOFT), 2015