1. Ratan Lal and Pavithra Prabhakar
    Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying
    International Conference on Robotics and Automation (ICRA), 2021

  2. Ratan Lal, Weikang Duan, and Pavithra Prabhakar
    Bayesian Statistical Model Checking for Continuous Stochastic Logic
    ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020

  3. Ratan Lal and Pavithra Prabhakar
    Safety Analysis of Linear Discrete-time Stochastic Systems
    International Conference on Embedded Software (EMSOFT) (WIP), 2020

  4. Daksh Shukla, Ratan Lal, Dustin Hauptman, Shawn S. Keshmiri, Pavithra Prabhakar and Nicole Beckage
    Flight Test Validation of a Safety-Critical Neural Network Based Longitudinal Controller for a Fixed-Wing UAS
    AIAA AVIATION, 2020

  5. Ratan Lal and Pavithra Prabhakar
    Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
    ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019

  6. Ratan Lal and Pavithra Prabhakar
    Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems
    ACM Transactions on Embedded Computing Systems (TECS), Accepted at EMSOFT, 2019

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

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

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

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

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

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

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

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