default search action
Pavithra Prabhakar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j12]Habeeb P
, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar:
Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4310-4321 (2024) - [j11]Habeeb P
Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4322-4333 (2024) - [c69]Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar:
Safety Verification of Closed-loop Control System with Anytime Perception. ICRA 2024: 227-233 - [c68]Habeeb P, Pavithra Prabhakar:
Approximate Conformance Verification of Deep Neural Networks. NFM 2024: 223-238 - 2023
- [j10]Habeeb P
Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3450-3463 (2023) - [c67]Vishnu Bondalakunta, Pavithra Prabhakar:
Star Based Reachability Analysis of Interval Neural Networks. CDC 2023: 7982-7987 - [c66]Ratan Lal, Pavithra Prabhakar:
Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers. CDC 2023: 8006-8011 - [c65]Spandan Das
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. HSCC 2023: 21:1-21:2 - [c64]Jahid Chowdhury Choton
An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. ICCPS 2023: 243-244 - [c63]Jahid Chowdhury Choton, Pavithra Prabhakar:
Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics. ICRA 2023: 11817-11823 - [i9]Spandan Das, Pavithra Prabhakar:
Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems. CoRR abs/2304.02647 (2023) - 2022
- [c62]Spandan Das
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. QEST 2022: 192-213 - [c61]Pavithra Prabhakar:
Bisimulations for Neural Network Reduction. VMCAI 2022: 285-300 - [i8]Spandan Das, Pavithra Prabhakar:
Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL. CoRR abs/2209.02672 (2022) - 2021
- [c60]Pavithra Prabhakar, Jun Liu:
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS 2021: 115-120 - [c59]Ratan Lal
Formally Verified Switching Logic for Recoverability of Aircraft Controller. CAV (1) 2021: 566-579 - [c58]Ratan Lal
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. ICRA 2021: 7965-7971 - [i7]Spandan Das, Pavithra Prabhakar:
Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics. CoRR abs/2109.08265 (2021) - [i6]Pavithra Prabhakar:
Bisimulations for Neural Network Reduction. CoRR abs/2110.03726 (2021) - 2020
- [c57]Ratan Lal
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. EMSOFT 2020: 34-36 - [c56]Ratan Lal
Bayesian Statistical Model Checking for Continuous Stochastic Logic. MEMOCODE 2020: 1-11 - [c55]Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM 2020: 311-328 - [c54]P. Ezudheen
Verifying Band Convergence for Sampled Control Systems. NFM 2020: 329-349 - [c53]Miriam García Soto
Hybridization for Stability Verification of Nonlinear Switched Systems. RTSS 2020: 244-256 - [i5]Pavithra Prabhakar, Zahra Rahimi Afzal:
Abstraction based Output Range Analysis for Neural Networks. CoRR abs/2007.09527 (2020) - [i4]Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar:
Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. CoRR abs/2007.09626 (2020) - [i3]Atreyee Kundu, Pavithra Prabhakar:
Learning event-driven switched linear systems. CoRR abs/2009.12831 (2020)
2010 – 2019
- 2019
- [j9]Ratan Lal
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 98:1-98:23 (2019) - [c52]Yoke Peng Leong, Pavithra Prabhakar:
Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. ICRA 2019: 7683-7689 - [c51]Ratan Lal
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE 2019: 12:1-12:5 - [c50]Pavithra Prabhakar, Zahra Rahimi Afzal:
Abstraction based Output Range Analysis for Neural Networks. NeurIPS 2019: 15762-15772 - [e3]Necmiye Ozay, Pavithra Prabhakar:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6282-5 [contents] - 2018
- [j8]Pavithra Prabhakar, Jun Liu, Richard M. Murray:
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28(3): 349-374 (2018) - [c49]Ratan Lal
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. Allerton 2018: 848-855 - [c48]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR 2018: 26:1-26:16 - [c47]Miriam Garcia Soto
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. HSCC 2018: 259-264 - [c46]Ratan Lal
Bounded Verification of Reachability of Probabilistic Hybrid Systems. QEST 2018: 240-256 - [c45]Pavithra Prabhakar, Ratan Lal
Automatic Trace Generation for Signal Temporal Logic. RTSS 2018: 208-217 - [e2]David N. Jansen
Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. Lecture Notes in Computer Science 11022, Springer 2018, ISBN 978-3-030-00150-6 [contents] - 2017
- [c44]Ratan Lal
Safety analysis using compositional bounded error approximations of communicating hybrid systems. CDC 2017: 2378-2383 - [c43]Ratan Lal
Optimal multi-robot path planning for pesticide spraying in agricultural fields. CDC 2017: 5815-5820 - [c42]Pavithra Prabhakar, Miriam Garcia Soto
Formal Synthesis of Stabilizing Controllers for Switched Systems. HSCC 2017: 111-120 - [c41]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Robust Model Checking of Timed Automata under Clock Drifts. HSCC 2017: 153-162 - [c40]Wenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan
Abstraction based reachability analysis for finite branching stochastic hybrid systems. ICCPS 2017: 121-130 - [c39]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) 2017: 573-588 - [e1]Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 [contents] - 2016
- [c38]Yoke Peng Leong
Optimal control with regular objectives using an abstraction-refinement approach. ACC 2016: 5161-5168 - [c37]Pavithra Prabhakar, Miriam Garcia Soto
Counterexample Guided Abstraction Refinement for Stability Analysis. CAV (1) 2016: 495-512 - [c36]Pavithra Prabhakar, Jun Liu:
Bisimulations for input-output stability of hybrid systems. CDC 2016: 5515-5520 - [c35]Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to global asymptotic stability verification of hybrid systems. EMSOFT 2016: 9:1-9:10 - [c34]Pavithra Prabhakar, Miriam Garcia Soto
Hybridization for Stability Analysis of Switched Linear Systems. HSCC 2016: 71-80 - [c33]Pavithra Prabhakar, Miriam Garcia Soto
Verification Techniques for Hybrid Systems. ISoLA (2) 2016: 833-842 - [c32]Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan:
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS 2016: 752-769 - [i2]Martin Fränzle, James Kapinski, Pavithra Prabhakar:
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports 6(9): 29-45 (2016) - 2015
- [j7]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46(2): 105-134 (2015) - [j6]Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. 60(12): 3210-3225 (2015) - [j5]Pavithra Prabhakar
A decidable class of planar linear hybrid systems. Theor. Comput. Sci. 574: 1-17 (2015) - [c31]Pavithra Prabhakar, Miriam Garcia Soto:
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. SNR@CAV 2015: 32-39 - [c30]Ratan Lal
Bounded error flowpipe computation of parameterized linear systems. EMSOFT 2015: 237-246 - [c29]Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan:
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS 2015: 256-269 - [c28]Pierre Ganty, Samir Genaim
From non-zenoness verification to termination. MEMOCODE 2015: 228-237 - [c27]Pavithra Prabhakar, Miriam Garcia Soto
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. VMCAI 2015: 318-335 - [c26]Pavithra Prabhakar, Miriam Garcia Soto
AVERIST: An Algorithmic Verifier for Stability. NSV 2015: 133-139 - 2014
- [c25]Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to stability verification of polyhedral switched systems. ACC 2014: 2318-2323 - [c24]Scott C. Livingston, Pavithra Prabhakar:
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. DARS 2014: 371-385 - [c23]Jun Liu, Pavithra Prabhakar:
Switching control of dynamical systems from metric temporal logic specifications. ICRA 2014: 5333-5338 - [i1]Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar:
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports 4(3): 85-102 (2014) - 2013
- [c22]Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray:
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC 2013: 6237-6244 - [c21]Pavithra Prabhakar, Miriam Garcia Soto
Abstraction Based Model-Checking of Stability of Hybrid Systems. CAV 2013: 280-295 - [c20]Pavithra Prabhakar, Jun Liu, Richard M. Murray
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT 2013: 24:1-24:10 - [c19]Pavithra Prabhakar, Boris Köpf:
Verifying information flow properties of hybrid systems. HiCoNS 2013: 77-84 - [c18]Pavithra Prabhakar, Mahesh Viswanathan:
On the decidability of stability of hybrid systems. HSCC 2013: 53-62 - [c17]Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray
Patching task-level robot controllers based on a local μ-calculus formula. ICRA 2013: 4588-4595 - [c16]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI 2013: 48-67 - 2012
- [j4]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. 57(6): 1445-1455 (2012) - [c15]Pavithra Prabhakar:
Foundations for approximation based analysis of stability properties of hybrid systems. Allerton Conference 2012: 1602-1609 - [c14]Pavithra Prabhakar, Mahesh Viswanathan:
Conformance Testing of Boolean Programs with Multiple Faults. FMOODS/FORTE 2012: 101-117 - [c13]Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
Pre-orders for reasoning about stability. HSCC 2012: 197-206 - [p2]Madhu Gopinathan, Pavithra Prabhakar:
Introduction to Hybrid Automata. Modern Applications of Automata Theory 2012: 415-436 - [p1]Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar:
Automata and Logics over Signals. Modern Applications of Automata Theory 2012: 555-584 - 2011
- [b1]Pavithra Prabhakar:
Approximation Based Safety and Stability Verification of Hybrid Systems. University of Illinois Urbana-Champaign, USA, 2011 - [j3]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
Specifications for decidable hybrid games. Theor. Comput. Sci. 412(48): 6770-6785 (2011) - [c12]Pavithra Prabhakar, Mahesh Viswanathan:
A dynamic algorithm for approximate flow computations. HSCC 2011: 133-142 - [c11]Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan:
Behavior Based Service Composition. WS-FM 2011: 17-31 - 2010
- [c10]Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan:
Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111
2000 – 2009
- 2009
- [j2]Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar:
Automata and logics over finitely varying functions. Ann. Pure Appl. Log. 161(3): 324-336 (2009) - [c9]Pavithra Prabhakar, Sayan Mitra
On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541 - [c8]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Games. HSCC 2009: 480-484 - [c7]Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Tolerant Systems Using Polynomial Approximations. RTSS 2009: 181-190 - 2008
- [c6]Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414 - [c5]Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Systems. ICALP (2) 2008: 136-147 - [c4]Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu:
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS 2008: 1-8 - 2007
- [j1]Deepak D'Souza, Pavithra Prabhakar:
On the expressiveness of MTL in the pointwise and continuous semantics. Int. J. Softw. Tools Technol. Transf. 9(1): 1-4 (2007) - [c3]Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar:
Counter-Free Input-Determined Timed Automata. FORMATS 2007: 82-97 - 2006
- [c2]Pavithra Prabhakar, Deepak D'Souza:
On the Expressiveness of MTL with Past Operators. FORMATS 2006: 322-336 - [c1]Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar:
On Continuous Timed Automata with Input-Determined Guards. FSTTCS 2006: 369-380
Coauthor Index
Miriam Garcia Soto
aka: Miriam García Soto
aka: Miriam García Soto
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: