| Abstraction based output range analysis for neural networks P Prabhakar, Z Rahimi Afzal Advances in Neural Information Processing Systems 32, 2019 | 90 | 2019 |
| 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), 1-4, 2007 | 80 | 2007 |
| Stormed hybrid systems V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud International colloquium on automata, languages, and programming, 136-147, 2008 | 61 | 2008 |
| Hybrid automata-based cegar for rectangular hybrid systems P Prabhakar, PS Duggirala, S Mitra, M Viswanathan Formal Methods in System Design 46 (2), 105-134, 2015 | 60 | 2015 |
| 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 | 53 | 2013 |
| On the expressiveness of MTL with past operators P Prabhakar, D D’Souza International Conference on Formal Modeling and Analysis of Timed Systems …, 2006 | 46 | 2006 |
| 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 | 45 | 2013 |
| A dynamic algorithm for approximate flow computations P Prabhakar, M Viswanathan Proceedings of the 14th international conference on Hybrid systems …, 2011 | 44 | 2011 |
| Abstraction based model-checking of stability of hybrid systems P Prabhakar, M Garcia Soto International Conference on Computer Aided Verification, 280-295, 2013 | 41 | 2013 |
| Pre-orders for reasoning about stability P Prabhakar, G Dullerud, M Viswanathan Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 32 | 2012 |
| Bounded error flowpipe computation of parameterized linear systems R Lal, P Prabhakar 2015 International Conference on Embedded Software (EMSOFT), 237-246, 2015 | 30 | 2015 |
| Verifying tolerant systems using polynomial approximations P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud 2009 30th IEEE Real-Time Systems Symposium, 181-190, 2009 | 30 | 2009 |
| 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 | 29 | 2017 |
| Hybridization based CEGAR for hybrid automata with affine dynamics N Roohi, P Prabhakar, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2016 | 29 | 2016 |
| 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 | 29 | 2014 |
| HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata N Roohi, P Prabhakar, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2017 | 27 | 2017 |
| Model checking timed hyperproperties in discrete-time systems B Bonakdarpour, P Prabhakar, C Sánchez NASA Formal Methods Symposium, 311-328, 2020 | 26 | 2020 |
| Counterexample guided abstraction refinement for stability analysis P Prabhakar, MG Soto International Conference on Computer Aided Verification, 495-512, 2016 | 23 | 2016 |
| 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 | 20 | 2013 |
| A decidable class of planar linear hybrid systems P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud International Workshop on Hybrid Systems: Computation and Control, 401-414, 2008 | 18 | 2008 |
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
