| 2021 | CAV | Formally Verified Switching Logic for Recoverability of Aircraft Controller. | Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar |
| 2021 | ICRA | Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. | Ratan Lal, Pavithra Prabhakar |
| 2020 | EMSOFT | Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. | Ratan Lal, Pavithra Prabhakar |
| 2020 | MEMOCODE | Bayesian Statistical Model Checking for Continuous Stochastic Logic. | Ratan Lal, Weikang Duan, Pavithra Prabhakar |
| 2019 | MEMOCODE | Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. | Ratan Lal, Pavithra Prabhakar |
| 2018 | RTSS | Automatic Trace Generation for Signal Temporal Logic. | Pavithra Prabhakar, Ratan Lal, James Kapinski |
| 2016 | ISoLA | Verification Techniques for Hybrid Systems. | Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal |
| 2015 | EMSOFT | Bounded error flowpipe computation of parameterized linear systems. | Ratan Lal, Pavithra Prabhakar |
| 2015 | MEMOCODE | From non-zenoness verification to termination. | Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |