| 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 |
| Flight test validation of a safety-critical neural network based longitudinal controller for a fixed-wing UAS D Shukla, R Lal, D Hauptman, SS Keshmiri, P Prabhakar, N Beckage AIAA Aviation 2020 Forum, 3093, 2020 | 9 | 2020 |
| Automatic trace generation for signal temporal logic P Prabhakar, R Lal, J Kapinski 2018 IEEE Real-Time Systems Symposium (RTSS), 208-217, 2018 | 9 | 2018 |
| Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems R Lal, P Prabhakar ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019 | 8 | 2019 |
| Hierarchical abstractions for reachability analysis of probabilistic hybrid systems R Lal, P Prabhakar 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 8 | 2018 |
| Bayesian statistical model checking for continuous stochastic logic R Lal, W Duan, P Prabhakar 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020 | 6 | 2020 |
| Bounded verification of reachability of probabilistic hybrid systems R Lal, P Prabhakar Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 6 | 2018 |
| Time-optimal multi-quadrotor trajectory planning for pesticide spraying R Lal, P Prabhakar 2021 IEEE International Conference on Robotics and Automation (ICRA), 7965-7971, 2021 | 5 | 2021 |
| Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems R Lal, P Prabhakar Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | 4 | 2019 |
| Safety analysis using compositional bounded error approximations of communicating hybrid systems R Lal, P Prabhakar 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2378-2383, 2017 | 4 | 2017 |
| Formally Verified Switching Logic for Recoverability of Aircraft Controller R Lal, A McKinnis, D Hauptman, S Keshmiri, P Prabhakar Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 3 | 2021 |
| Scalable safety verification of stochastic hybrid systems R Lal Kansas State University, 2021 | 2 | 2021 |
| Compositional analysis of networked hybrid systems using bounded error approximations R Lal, P Prabhakar 8th NASA Formal Methods Symposium. Minneapolis, MN, 2016 | 2 | 2016 |
| Safety analysis of linear discrete-time stochastic systems: Work-in-progress R Lal, P Prabhakar 2020 International Conference on Embedded Software (EMSOFT), 34-36, 2020 | 1 | 2020 |
| Coding Integrity Unveiled: Exploring the Pros and Cons of Detecting Plagiarism in Programming Assignments Using Copyleaks C Mouli, M Kotteti, R Lal, P Chetti Journal of Computing Sciences in Colleges 39 (6), 61-69, 2024 | | 2024 |
| Autonomous Hydroponic Farming using Internet of Things R Lal 2024 1st International Conference on Cognitive, Green and Ubiquitous …, 2024 | | 2024 |
| Navigating Efficiency: A Blueprint for Optimizing Organizational Parking Systems R Lal 2024 1st International Conference on Cognitive, Green and Ubiquitous …, 2024 | | 2024 |
| Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers R Lal, P Prabhakar 2023 62nd IEEE Conference on Decision and Control (CDC), 8006-8011, 2023 | | 2023 |
| Influence of random telegraph noise on quantum bit gate operation J Likens, S Prabhakar, R Lal, R Melnik Journal of Applied Physics 133 (23), 2023 | | 2023 |
Pavithra PrabhakarProfessor of Computer Science & Peggy and Gary Edwards Chair in Engineering, Kansas State University在 ksu.edu 的电子邮件经过验证
