Pavithra Prabhakar

103 papers A* 8A 5B 6C 6Misc 4Journal 22Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings QEST+FORMATS Pavithra Prabhakar, Andrea Vandin
2025	—	`conf`	A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers. CDC Miriam García Soto, Pavithra Prabhakar
2025	—	`conf`	Bisimulation-based reduction of neural network controllers. CDC Lipsy Gupta, Pavithra Prabhakar
2025	J	`jnl`	Star-Set Based Efficient Reachable Set Computation of Anytime Sensing-Based Neural Network-Controlled Dynamical Systems. ACM Trans. Embed. Comput. Syst. Lipsy Gupta, Pavithra Prabhakar
2024	—	`ed.`	8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024 ADHS Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani
2024	J	`jnl`	Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Habeeb P, Lipsy Gupta, Pavithra Prabhakar
2024	—	`conf`	Approximate Conformance Verification of Deep Neural Networks. NFM Habeeb P, Pavithra Prabhakar
2024	—	`conf`	Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. Principles of Verification (3) Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024	J	`jnl`	Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Habeeb P, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2024	A*	`conf`	Safety Verification of Closed-loop Control System with Anytime Perception. ICRA Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar
2024	—	`conf`	Verification of Parametric Properties of Linear Discrete-time Stochastic Systems. ADHS Ratan Lal, Pavithra Prabhakar
2023	—	`conf`	Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers. CDC Ratan Lal, Pavithra Prabhakar
2023	J	`jnl`	Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems. CoRR Spandan Das, Pavithra Prabhakar
2023	—	`conf`	An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. ICCPS Jahid Chowdhury Choton, Mithila Jugulam, Pavithra Prabhakar
2023	A*	`conf`	Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics. ICRA Jahid Chowdhury Choton, Pavithra Prabhakar
2023	—	`conf`	Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. HSCC Spandan Das, Pavithra Prabhakar
2023	—	`conf`	Star Based Reachability Analysis of Interval Neural Networks. CDC Vishnu Bondalakunta, Pavithra Prabhakar
2023	J	`jnl`	Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2022	J	`jnl`	Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL. CoRR Spandan Das, Pavithra Prabhakar
2022	B	`conf`	Bisimulations for Neural Network Reduction. VMCAI Pavithra Prabhakar
2022	—	`conf`	Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. QEST Spandan Das, Pavithra Prabhakar
2021	J	`jnl`	Bisimulations for Neural Network Reduction. CoRR Pavithra Prabhakar
2021	—	`conf`	Formally Verified Switching Logic for Recoverability of Aircraft Controller. CAV (1) Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar
2021	J	`jnl`	Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics. CoRR Spandan Das, Pavithra Prabhakar
2021	—	`conf`	Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS Pavithra Prabhakar, Jun Liu
2021	A*	`conf`	Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. ICRA Ratan Lal, Pavithra Prabhakar
2020	J	`jnl`	Abstraction based Output Range Analysis for Neural Networks. CoRR Pavithra Prabhakar, Zahra Rahimi Afzal
2020	C	`conf`	Bayesian Statistical Model Checking for Continuous Stochastic Logic. MEMOCODE Ratan Lal, Weikang Duan, Pavithra Prabhakar
2020	A	`conf`	Hybridization for Stability Verification of Nonlinear Switched Systems. RTSS Miriam García Soto, Pavithra Prabhakar
2020	J	`jnl`	Learning event-driven switched linear systems. CoRR Atreyee Kundu, Pavithra Prabhakar
2020	—	`conf`	Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
2020	J	`jnl`	Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. CoRR Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar
2020	Misc	`conf`	Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. EMSOFT Ratan Lal, Pavithra Prabhakar
2020	—	`conf`	Verifying Band Convergence for Sampled Control Systems. NFM P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
2019	A*	`conf`	Abstraction based Output Range Analysis for Neural Networks. NeurIPS Pavithra Prabhakar, Zahra Rahimi Afzal
2019	C	`conf`	Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE Ratan Lal, Pavithra Prabhakar
2019	J	`jnl`	Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. ACM Trans. Embed. Comput. Syst. Ratan Lal, Pavithra Prabhakar
2019	A*	`conf`	Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. ICRA Yoke Peng Leong, Pavithra Prabhakar
2019	—	`ed.`	Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. HSCC Necmiye Ozay, Pavithra Prabhakar
2018	A	`conf`	Automatic Trace Generation for Signal Temporal Logic. RTSS Pavithra Prabhakar, Ratan Lal, James Kapinski
2018	—	`conf`	Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. HSCC Miriam Garcia Soto, Pavithra Prabhakar
2018	—	`conf`	Bounded Verification of Reachability of Probabilistic Hybrid Systems. QEST Ratan Lal, Pavithra Prabhakar
2018	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings FORMATS David N. Jansen, Pavithra Prabhakar
2018	—	`conf`	Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. Allerton Ratan Lal, Pavithra Prabhakar
2018	B	`conf`	Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2018	J	`jnl`	Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. Pavithra Prabhakar, Jun Liu, Richard M. Murray
2017	—	`conf`	Abstraction based reachability analysis for finite branching stochastic hybrid systems. ICCPS Wenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan
2017	—	`conf`	Formal Synthesis of Stabilizing Controllers for Switched Systems. HSCC Pavithra Prabhakar, Miriam Garcia Soto
2017	—	`conf`	HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017	—	`ed.`	Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers NSV@CAV Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
2017	—	`conf`	Optimal multi-robot path planning for pesticide spraying in agricultural fields. CDC Ratan Lal, Ajay Sharda, Pavithra Prabhakar
2017	—	`conf`	Robust Model Checking of Timed Automata under Clock Drifts. HSCC Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2017	—	`conf`	Safety analysis using compositional bounded error approximations of communicating hybrid systems. CDC Ratan Lal, Pavithra Prabhakar
2016	Misc	`conf`	An algorithmic approach to global asymptotic stability verification of hybrid systems. EMSOFT Pavithra Prabhakar, Miriam Garcia Soto
2016	—	`conf`	Bisimulations for input-output stability of hybrid systems. CDC Pavithra Prabhakar, Jun Liu
2016	—	`conf`	Counterexample Guided Abstraction Refinement for Stability Analysis. CAV (1) Pavithra Prabhakar, Miriam Garcia Soto
2016	A	`conf`	Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2016	—	`conf`	Hybridization for Stability Analysis of Switched Linear Systems. HSCC Pavithra Prabhakar, Miriam Garcia Soto
2016	C	`conf`	Optimal control with regular objectives using an abstraction-refinement approach. ACC Yoke Peng Leong, Pavithra Prabhakar
2016	J	`jnl`	Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports Martin Fränzle, James Kapinski, Pavithra Prabhakar
2016	—	`conf`	Verification Techniques for Hybrid Systems. ISoLA (2) Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal
2015	J	`jnl`	A decidable class of planar linear hybrid systems. Theor. Comput. Sci. Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2015	—	`conf`	AVERIST: An Algorithmic Verifier for Stability. NSV Pavithra Prabhakar, Miriam Garcia Soto
2015	—	`conf`	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. SNR@CAV Pavithra Prabhakar, Miriam Garcia Soto
2015	Misc	`conf`	Bounded error flowpipe computation of parameterized linear systems. EMSOFT Ratan Lal, Pavithra Prabhakar
2015	—	`conf`	Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
2015	B	`conf`	Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. VMCAI Pavithra Prabhakar, Miriam Garcia Soto
2015	C	`conf`	From non-zenoness verification to termination. MEMOCODE Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar
2015	J	`jnl`	Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	J	`jnl`	Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2014	C	`conf`	An algorithmic approach to stability verification of polyhedral switched systems. ACC Pavithra Prabhakar, Miriam Garcia Soto
2014	—	`conf`	Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. DARS Scott C. Livingston, Pavithra Prabhakar
2014	A*	`conf`	Switching control of dynamical systems from metric temporal logic specifications. ICRA Jun Liu, Pavithra Prabhakar
2014	J	`jnl`	Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar
2013	A*	`conf`	Abstraction Based Model-Checking of Stability of Hybrid Systems. CAV Pavithra Prabhakar, Miriam Garcia Soto
2013	C	`conf`	Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
2013	B	`conf`	Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2013	—	`conf`	On the decidability of stability of hybrid systems. HSCC Pavithra Prabhakar, Mahesh Viswanathan
2013	A*	`conf`	Patching task-level robot controllers based on a local μ-calculus formula. ICRA Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray
2013	Misc	`conf`	Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT Pavithra Prabhakar, Jun Liu, Richard M. Murray
2013	—	`conf`	Verifying information flow properties of hybrid systems. HiCoNS Pavithra Prabhakar, Boris Köpf
2012	—	`ch.`	Automata and Logics over Signals. Modern Applications of Automata Theory Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar
2012	—	`conf`	Conformance Testing of Boolean Programs with Multiple Faults. FMOODS/FORTE Pavithra Prabhakar, Mahesh Viswanathan
2012	—	`conf`	Foundations for approximation based analysis of stability properties of hybrid systems. Allerton Conference Pavithra Prabhakar
2012	—	`ch.`	Introduction to Hybrid Automata. Modern Applications of Automata Theory Madhu Gopinathan, Pavithra Prabhakar
2012	—	`conf`	Pre-orders for reasoning about stability. HSCC Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2012	J	`jnl`	Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2011	—	`conf`	A dynamic algorithm for approximate flow computations. HSCC Pavithra Prabhakar, Mahesh Viswanathan
2011	—	`—`	Approximation Based Safety and Stability Verification of Hybrid Systems Pavithra Prabhakar
2011	—	`conf`	Behavior Based Service Composition. WS-FM Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan
2011	J	`jnl`	Specifications for decidable hybrid games. Theor. Comput. Sci. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2010	B	`conf`	Complexity Bounds for the Verification of Real-Time Software. VMCAI Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
2009	J	`jnl`	Automata and logics over finitely varying functions. Ann. Pure Appl. Log. Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
2009	B	`conf`	On Convergence of Concurrent Systems under Regular Interactions. CONCUR Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
2009	—	`conf`	STORMED Hybrid Games. HSCC Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2009	A	`conf`	Verifying Tolerant Systems Using Polynomial Approximations. RTSS Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	—	`conf`	A Decidable Class of Planar Linear Hybrid Systems. HSCC Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	A	`conf`	Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu
2008	—	`conf`	STORMED Hybrid Systems. ICALP (2) Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2007	—	`conf`	Counter-Free Input-Determined Timed Automata. FORMATS Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
2007	J	`jnl`	On the expressiveness of MTL in the pointwise and continuous semantics. Int. J. Softw. Tools Technol. Transf. Deepak D'Souza, Pavithra Prabhakar
2006	—	`conf`	On Continuous Timed Automata with Input-Determined Guards. FSTTCS Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
2006	—	`conf`	On the Expressiveness of MTL with Past Operators. FORMATS Pavithra Prabhakar, Deepak D'Souza