| 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 | 72 | 2007 |
| Abstraction based output range analysis for neural networks P Prabhakar, Z Rahimi Afzal Advances in Neural Information Processing Systems 32, 2019 | 68 | 2019 |
| Stormed hybrid systems V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 60 | 2008 |
| 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 | 57 | 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 | 47 | 2013 |
| 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 | 44 | 2013 |
| On the expressiveness of MTL with past operators P Prabhakar, D D’Souza Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006 | 41 | 2006 |
| A dynamic algorithm for approximate flow computations P Prabhakar, M Viswanathan Proceedings of the 14th international conference on Hybrid systems …, 2011 | 40 | 2011 |
| Abstraction based model-checking of stability of hybrid systems P Prabhakar, M Garcia Soto Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 38 | 2013 |
| Pre-orders for reasoning about stability P Prabhakar, G Dullerud, M Viswanathan Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 31 | 2012 |
| 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 |
| 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 | 27 | 2014 |
| 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 | 26 | 2016 |
| Bounded error flowpipe computation of parameterized linear systems R Lal, P Prabhakar 2015 International Conference on Embedded Software (EMSOFT), 237-246, 2015 | 26 | 2015 |
| 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 | 23 | 2017 |
| 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 | 22 | 2017 |
| 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 |
| Counterexample guided abstraction refinement for stability analysis P Prabhakar, MG Soto Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 19 | 2016 |
| 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 | 18 | 2008 |
| On the decidability of stability of hybrid systems P Prabhakar, M Viswanathan Proceedings of the 16th international conference on Hybrid systems …, 2013 | 17 | 2013 |
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaign在 illinois.edu 的电子邮件经过验证
