| Formal scenario-based testing of autonomous vehicles: From simulation to the real world DJ Fremont, E Kim, YV Pant, SA Seshia, A Acharya, X Bruso, P Wells, ... 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 150 | 2020 |
| Smooth operator: Control using the smooth robustness of temporal logic YV Pant, H Abbas, R Mangharam 2017 IEEE Conference on Control Technology and Applications (CCTA), 1235-1240, 2017 | 134 | 2017 |
| Fly-by-logic: control of multi-drone fleets with temporal logic objectives YV Pant, H Abbas, RA Quaye, R Mangharam 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 101 | 2018 |
| F1/10: An Open-Source Autonomous Cyber-Physical Platform M O'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ... arXiv preprint arXiv:1901.08567, 2019 | 97 | 2019 |
| Autoplug: An automotive test-bed for electronic controller unit testing and verification U Drolia, Z Wang, Y Pant, R Mangharam 2011 14th International IEEE Conference on Intelligent Transportation …, 2011 | 44 | 2011 |
| Co-design of anytime computation and robust control YV Pant, H Abbas, K Mohta, TX Nghiem, J Devietti, R Mangharam 2015 IEEE Real-Time Systems Symposium, 43-52, 2015 | 37 | 2015 |
| Addressing the IEEE AV test challenge with Scenic and VerifAI K Viswanadha, F Indaheng, J Wong, E Kim, E Kalvan, Y Pant, DJ Fremont, ... 2021 IEEE International Conference on Artificial Intelligence Testing …, 2021 | 19 | 2021 |
| Counterexample-Guided Synthesis of Perception Models and Control S Ghosh, YV Pant, H Ravanbakhsh, SA Seshia 2021 American Control Conference (ACC), 3447-3454, 2021 | 18 | 2021 |
| Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility A Rodionova, YV Pant, K Jang, H Abbas, R Mangharam 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 17 | 2020 |
| Temporal logic robustness for general signal classes H Abbas, YV Pant, R Mangharam Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 15 | 2019 |
| AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems YV Pant, M Pajic, R Mangharam | 15 | 2012 |
| Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications YV Pant, H Yin, M Arcak, SA Seshia 2021 American Control Conference (ACC), 4209-4216, 2021 | 14 | 2021 |
| Anytime Computation and Control for Autonomous Systems YV Pant, H Abbas, K Mohta, RA Quaye, TX Nghiem, J Devietti, ... IEEE Transactions on Control Systems Technology 29 (2), 768-779, 2020 | 11 | 2020 |
| Peak power reduction in hybrid energy systems with limited load forecasts YV Pant, TX Nghiem, R Mangharam 2014 American Control Conference, 4212-4217, 2014 | 10* | 2014 |
| Robust model predictive control for non-linear systems with input and state constraints via feedback linearization YV Pant, H Abbas, R Mangharam 2016 IEEE 55th Conference on Decision and Control (CDC), 5694-5699, 2016 | 9 | 2016 |
| Fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic YV Pant, RA Quaye, H Abbas, A Varre, R Mangharam NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 7 | 2019 |
| Design and implementation of a centralized system for autonomous unmanned aerial vehicle trajectory conflict resolution MZ Li, WR Tam, SM Prakash, JF Kennedy, MS Ryerson, D Lee, YV Pant NAECON 2018-IEEE National Aerospace and Electronics Conference, 43-51, 2018 | 7 | 2018 |
| FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning YV Pant, MZ Li, A Rodionova, RA Quaye, H Abbas, MS Ryerson, ... Transportation Research Part C: Emerging Technologies 130, 103275, 2021 | 6 | 2021 |
| Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles M Pirani, Y She, R Tang, Z Jiang, YV Pant 2022 American Control Conference (ACC), 633-640, 2022 | 5 | 2022 |
| Robustness evaluation of computer-aided clinical trials for medical devices KJ Jang, YV Pant, B Zhang, J Weimer, R Mangharam Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 5 | 2019 |
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
