| 2024 | ICRA | Safety Verification of Closed-loop Control System with Anytime Perception. | Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar |
| 2023 | ICRA | Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics. | Jahid Chowdhury Choton, Pavithra Prabhakar |
| 2022 | VMCAI | Bisimulations for Neural Network Reduction. | Pavithra Prabhakar |
| 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 |
| 2020 | RTSS | Hybridization for Stability Verification of Nonlinear Switched Systems. | Miriam Garca Soto, Pavithra Prabhakar |
| 2019 | ICRA | Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. | Yoke Peng Leong, Pavithra Prabhakar |
| 2019 | MEMOCODE | Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. | Ratan Lal, Pavithra Prabhakar |
| 2018 | CONCUR | Relating Syntactic and Semantic Perturbations of Hybrid Automata. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2018 | RTSS | Automatic Trace Generation for Signal Temporal Logic. | Pavithra Prabhakar, Ratan Lal, James Kapinski |
| 2017 | TACAS | HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2016 | CAV | Counterexample Guided Abstraction Refinement for Stability Analysis. | Pavithra Prabhakar, Miriam Garcia Soto |
| 2016 | EMSOFT | An algorithmic approach to global asymptotic stability verification of hybrid systems. | Pavithra Prabhakar, Miriam Garcia Soto |
| 2016 | ISoLA | Verification Techniques for Hybrid Systems. | Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal |
| 2016 | TACAS | Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan |
| 2015 | CAV | An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. | Pavithra Prabhakar, Miriam Garcia Soto |
| 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 |
| 2015 | VMCAI | Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. | Pavithra Prabhakar, Miriam Garcia Soto |
| 2014 | ICRA | Switching control of dynamical systems from metric temporal logic specifications. | Jun Liu, Pavithra Prabhakar |
| 2013 | CAV | Abstraction Based Model-Checking of Stability of Hybrid Systems. | Pavithra Prabhakar, Miriam Garcia Soto |
| 2013 | EMSOFT | Pre-orders for reasoning about stability properties with respect to input of hybrid systems. | Pavithra Prabhakar, Jun Liu, Richard M. Murray |
| 2013 | ICRA | Patching task-level robot controllers based on a local μ-calculus formula. | Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray |
| 2013 | VMCAI | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2012 | FORTE | Conformance Testing of Boolean Programs with Multiple Faults. | Pavithra Prabhakar, Mahesh Viswanathan |
| 2010 | VMCAI | Complexity Bounds for the Verification of Real-Time Software. | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
| 2009 | CONCUR | On Convergence of Concurrent Systems under Regular Interactions. | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan |
| 2009 | RTSS | Verifying Tolerant Systems Using Polynomial Approximations. | Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud |
| 2008 | ICALP | STORMED Hybrid Systems. | Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud |