Follow
Pavithra Prabhakar
Pavithra Prabhakar
Professor of Computer Science & Peggy and Gary Edwards Chair in Engineering, Kansas State University
Verified email at ksu.edu - Homepage
Title
Cited by
Cited by
Year
On the expressiveness of MTL in the pointwise and continuous semantics
D D’Souza, P Prabhakar
International Journal on Software Tools for Technology Transfer 9, 1-4, 2007
622007
Hybrid automata-based cegar for rectangular hybrid systems
P Prabhakar, PS Duggirala, S Mitra, M Viswanathan
Formal Methods in System Design 46, 105-134, 2015
552015
Stormed hybrid systems
V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
552008
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems
N Ozay, J Liu, P Prabhakar, RM Murray
2013 American Control Conference, 6237-6244, 2013
432013
Patching task-level robot controllers based on a local μ-calculus formula
SC Livingston, P Prabhakar, AB Jose, RM Murray
2013 IEEE International Conference on Robotics and Automation, 4588-4595, 2013
432013
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006
412006
A dynamic algorithm for approximate flow computations
P Prabhakar, M Viswanathan
Proceedings of the 14th international conference on Hybrid systems …, 2011
402011
Abstraction based model-checking of stability of hybrid systems
P Prabhakar, M Garcia Soto
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
352013
Pre-orders for reasoning about stability
P Prabhakar, G Dullerud, M Viswanathan
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
322012
Verifying tolerant systems using polynomial approximations
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
2009 30th IEEE Real-Time Systems Symposium, 181-190, 2009
302009
Abstraction based output range analysis for neural networks
P Prabhakar, Z Rahimi Afzal
Advances in Neural Information Processing Systems 32, 2019
242019
Hybridization based CEGAR for hybrid automata with affine dynamics
N Roohi, P Prabhakar, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
232016
Switching control of dynamical systems from metric temporal logic specifications
J Liu, P Prabhakar
2014 IEEE International Conference on Robotics and Automation (ICRA), 5333-5338, 2014
222014
Bounded error flowpipe computation of parameterized linear systems
R Lal, P Prabhakar
2015 International Conference on Embedded Software (EMSOFT), 237-246, 2015
212015
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
P Prabhakar, J Liu, RM Murray
2013 Proceedings of the International Conference on Embedded Software …, 2013
202013
A decidable class of planar linear hybrid systems
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008
182008
Counterexample guided abstraction refinement for stability analysis
P Prabhakar, MG Soto
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
172016
Optimal multi-robot path planning for pesticide spraying in agricultural fields
R Lal, A Sharda, P Prabhakar
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5815-5820, 2017
162017
On the decidability of stability of hybrid systems
P Prabhakar, M Viswanathan
Proceedings of the 16th international conference on Hybrid systems …, 2013
162013
HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata
N Roohi, P Prabhakar, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
152017
The system can't perform the operation now. Try again later.
Articles 1–20