On the Expressiveness of MTL with Past Operators. - Pavithra Prabhakar; Deepak D'Souza (FORMATS, 2006)

On Continuous Timed Automata with Input-Determined Guards. - Fabrice Chevalier; Deepak D'Souza; Pavithra Prabhakar (FSTTCS, 2006)

Counter-Free Input-Determined Timed Automata. - Fabrice Chevalier; Deepak D'Souza; Pavithra Prabhakar (FORMATS, 2007)

On the expressiveness of MTL in the pointwise and continuous semantics. - Deepak D'Souza; Pavithra Prabhakar (Int. J. Softw. Tools Technol. Transf., 2007)

STORMED Hybrid Systems. - Vladimeros Vladimerou; Pavithra Prabhakar; Mahesh Viswanathan 001; Geir E. Dullerud (ICALP (2), 2008)

Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. - Peter Csaba Ölveczky; Pavithra Prabhakar; Xue Liu (IPDPS, 2008)

On Convergence of Concurrent Systems under Regular Interactions. - Pavithra Prabhakar; Sayan Mitra; Mahesh Viswanathan 001 (CONCUR, 2009)

STORMED Hybrid Games. - Vladimeros Vladimerou; Pavithra Prabhakar; Mahesh Viswanathan 001; Geir E. Dullerud (HSCC, 2009)

Verifying Tolerant Systems Using Polynomial Approximations. - Pavithra Prabhakar; Vladimeros Vladimerou; Mahesh Viswanathan 001; Geir E. Dullerud (RTSS, 2009)

Automata and logics over finitely varying functions. - Fabrice Chevalier; Deepak D'Souza; M. Raj Mohan; Pavithra Prabhakar (Ann. Pure Appl. Log., 2009)

Complexity Bounds for the Verification of Real-Time Software. - Rohit Chadha; Axel Legay; Pavithra Prabhakar; Mahesh Viswanathan 001 (VMCAI, 2010)

A dynamic algorithm for approximate flow computations. - Pavithra Prabhakar; Mahesh Viswanathan 001 (HSCC, 2011)

Behavior Based Service Composition. - Fangzhe Chang; Pavithra Prabhakar; Ramesh Viswanathan (WS-FM, 2011)

Specifications for decidable hybrid games. - Vladimeros Vladimerou; Pavithra Prabhakar; Mahesh Viswanathan 001; Geir E. Dullerud (Theor. Comput. Sci., 2011)

Approximation Based Safety and Stability Verification of Hybrid Systems - Pavithra Prabhakar (2011)

Automata and Logics over Signals. - Fabrice Chevalier; Deepak D'Souza; Raj Mohan Matteplackel; Pavithra Prabhakar (Modern Applications of Automata Theory, 2012)

Introduction to Hybrid Automata. - Madhu Gopinathan; Pavithra Prabhakar (Modern Applications of Automata Theory, 2012)

Foundations for approximation based analysis of stability properties of hybrid systems. - Pavithra Prabhakar (Allerton Conference, 2012)

Conformance Testing of Boolean Programs with Multiple Faults. - Pavithra Prabhakar; Mahesh Viswanathan 001 (FMOODS/FORTE, 2012)

Pre-orders for reasoning about stability. - Pavithra Prabhakar; Geir E. Dullerud; Mahesh Viswanathan 001 (HSCC, 2012)

Verification of Bounded Discrete Horizon Hybrid Automata. - Vladimeros Vladimerou; Pavithra Prabhakar; Mahesh Viswanathan 001; Geir E. Dullerud (IEEE Trans. Autom. Control., 2012)

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. - Necmiye Ozay; Jun Liu 015; Pavithra Prabhakar; Richard M. Murray (ACC, 2013)

Abstraction Based Model-Checking of Stability of Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto (CAV, 2013)

Pre-orders for reasoning about stability properties with respect to input of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (EMSOFT, 2013)

Verifying information flow properties of hybrid systems. - Pavithra Prabhakar; Boris Köpf (HiCoNS, 2013)

On the decidability of stability of hybrid systems. - Pavithra Prabhakar; Mahesh Viswanathan 001 (HSCC, 2013)

Patching task-level robot controllers based on a local μ-calculus formula. - Scott C. Livingston; Pavithra Prabhakar; Alex B. Jose; Richard M. Murray (ICRA, 2013)

An algorithmic approach to stability verification of polyhedral switched systems. - Pavithra Prabhakar; Miriam Garcia Soto (ACC, 2014)

Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. - Scott C. Livingston; Pavithra Prabhakar (DARS, 2014)

Switching control of dynamical systems from metric temporal logic specifications. - Jun Liu 015; Pavithra Prabhakar (ICRA, 2014)

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). - Rupak Majumdar; Richard M. Murray; Pavithra Prabhakar (Dagstuhl Reports, 2014)

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. - Pavithra Prabhakar; Miriam Garcia Soto (SNR@CAV, 2015)

Bounded error flowpipe computation of parameterized linear systems. - Ratan Lal; Pavithra Prabhakar (EMSOFT, 2015)

Deciding Concurrent Planar Monotonic Linear Hybrid Systems. - Pavithra Prabhakar; Nima Roohi; Mahesh Viswanathan 001 (FORMATS, 2015)

From non-zenoness verification to termination. - Pierre Ganty; Samir Genaim; Ratan Lal; Pavithra Prabhakar (MEMOCODE, 2015)

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto (VMCAI, 2015)

AVERIST: An Algorithmic Verifier for Stability. - Pavithra Prabhakar; Miriam Garcia Soto (NSV, 2015)

Hybrid automata-based CEGAR for rectangular hybrid systems. - Pavithra Prabhakar; Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001 (Formal Methods Syst. Des., 2015)

Stability Preserving Simulations and Bisimulations for Hybrid Systems. - Pavithra Prabhakar; Geir E. Dullerud; Mahesh Viswanathan 001 (IEEE Trans. Autom. Control., 2015)

A decidable class of planar linear hybrid systems. - Pavithra Prabhakar; Vladimeros Vladimerou; Mahesh Viswanathan 001; Geir E. Dullerud (Theor. Comput. Sci., 2015)

Optimal control with regular objectives using an abstraction-refinement approach. - Yoke Peng Leong; Pavithra Prabhakar (ACC, 2016)

Counterexample Guided Abstraction Refinement for Stability Analysis. - Pavithra Prabhakar; Miriam Garcia Soto (CAV (1), 2016)

Bisimulations for input-output stability of hybrid systems. - Pavithra Prabhakar; Jun Liu 015 (CDC, 2016)

An algorithmic approach to global asymptotic stability verification of hybrid systems. - Pavithra Prabhakar; Miriam Garcia Soto (EMSOFT, 2016)

Hybridization for Stability Analysis of Switched Linear Systems. - Pavithra Prabhakar; Miriam Garcia Soto (HSCC, 2016)

Verification Techniques for Hybrid Systems. - Pavithra Prabhakar; Miriam Garcia Soto; Ratan Lal (ISoLA (2), 2016)

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (TACAS, 2016)

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). - Martin Fränzle; James Kapinski; Pavithra Prabhakar (Dagstuhl Reports, 2016)

Safety analysis using compositional bounded error approximations of communicating hybrid systems. - Ratan Lal; Pavithra Prabhakar (CDC, 2017)

Optimal multi-robot path planning for pesticide spraying in agricultural fields. - Ratan Lal; Ajay Sharda; Pavithra Prabhakar (CDC, 2017)

Formal Synthesis of Stabilizing Controllers for Switched Systems. - Pavithra Prabhakar; Miriam Garcia Soto (HSCC, 2017)

Robust Model Checking of Timed Automata under Clock Drifts. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (HSCC, 2017)

Abstraction based reachability analysis for finite branching stochastic hybrid systems. - Wenji Zhang; Pavithra Prabhakar; Balasubramaniam Natarajan (ICCPS, 2017)

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (TACAS (1), 2017)

Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. - Ratan Lal; Pavithra Prabhakar (Allerton, 2018)

Relating Syntactic and Semantic Perturbations of Hybrid Automata. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (CONCUR, 2018)

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. - Miriam Garcia Soto; Pavithra Prabhakar (HSCC, 2018)

Bounded Verification of Reachability of Probabilistic Hybrid Systems. - Ratan Lal; Pavithra Prabhakar (QEST, 2018)

Automatic Trace Generation for Signal Temporal Logic. - Pavithra Prabhakar; Ratan Lal; James Kapinski (RTSS, 2018)

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (Discret. Event Dyn. Syst., 2018)

Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. - Yoke Peng Leong; Pavithra Prabhakar (ICRA, 2019)

Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. - Ratan Lal; Pavithra Prabhakar (MEMOCODE, 2019)

Abstraction based Output Range Analysis for Neural Networks. - Pavithra Prabhakar; Zahra Rahimi Afzal (NeurIPS, 2019)

Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. - Ratan Lal; Pavithra Prabhakar (ACM Trans. Embed. Comput. Syst., 2019)

Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. - Ratan Lal; Pavithra Prabhakar (EMSOFT, 2020)

Bayesian Statistical Model Checking for Continuous Stochastic Logic. - Ratan Lal; Weikang Duan; Pavithra Prabhakar (MEMOCODE, 2020)

Model Checking Timed Hyperproperties in Discrete-Time Systems. - Borzoo Bonakdarpour; Pavithra Prabhakar; César Sánchez 001 (NFM, 2020)

Verifying Band Convergence for Sampled Control Systems. - P. Ezudheen; Zahra Rahimi Afzal; Pavithra Prabhakar; Deepak D'Souza; Meenakshi D'Souza (NFM, 2020)

Hybridization for Stability Verification of Nonlinear Switched Systems. - Miriam García Soto; Pavithra Prabhakar (RTSS, 2020)

Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. - Zahra Rahimi Afzal; Pavana Prabhakar; Pavithra Prabhakar (CoRR, 2020)

Learning event-driven switched linear systems. - Atreyee Kundu; Pavithra Prabhakar (CoRR, 2020)

Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. - Pavithra Prabhakar; Jun Liu 015 (ADHS, 2021)

Formally Verified Switching Logic for Recoverability of Aircraft Controller. - Ratan Lal; Aaron McKinnis; Dustin Hauptman; Shawn Keshmiri; Pavithra Prabhakar (CAV (1), 2021)

Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. - Ratan Lal; Pavithra Prabhakar (ICRA, 2021)

Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics. - Spandan Das; Pavithra Prabhakar (CoRR, 2021)

Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. - Spandan Das; Pavithra Prabhakar (QEST, 2022)

Bisimulations for Neural Network Reduction. - Pavithra Prabhakar (VMCAI, 2022)

Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL. - Spandan Das; Pavithra Prabhakar (CoRR, 2022)

Star Based Reachability Analysis of Interval Neural Networks. - Vishnu Bondalakunta; Pavithra Prabhakar (CDC, 2023)

Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers. - Ratan Lal; Pavithra Prabhakar (CDC, 2023)

Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. - Spandan Das; Pavithra Prabhakar (HSCC, 2023)

An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. - Jahid Chowdhury Choton; Mithila Jugulam; Pavithra Prabhakar (ICCPS, 2023)

Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics. - Jahid Chowdhury Choton; Pavithra Prabhakar (ICRA, 2023)

Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems. - Spandan Das; Pavithra Prabhakar (CoRR, 2023)

Verification of Camera-Based Autonomous Systems. - Habeeb P; Nabarun Deka; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Verification of Parametric Properties of Linear Discrete-time Stochastic Systems. - Ratan Lal; Pavithra Prabhakar (ADHS, 2024)

Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. - Sayan Mitra; Corina S. Pasareanu; Pavithra Prabhakar; Sanjit A. Seshia; Ravi Mangal; Yangge Li; Christopher Watson; Divya Gopinath; Huafeng Yu (Principles of Verification (3), 2024)

Safety Verification of Closed-loop Control System with Anytime Perception. - Lipsy Gupta; Jahid Chowdhury Choton; Pavithra Prabhakar (ICRA, 2024)

Approximate Conformance Verification of Deep Neural Networks. - Habeeb P; Pavithra Prabhakar (NFM, 2024)

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. - Habeeb P; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers. - Habeeb P; Lipsy Gupta; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)