Yash Vardhan Pant
Yash Vardhan Pant
Assistant Professor, ECE, University of Waterloo
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
Counterexample-Guided Synthesis of Perception Models and Control
S Ghosh, YV Pant, H Ravanbakhsh, SA Seshia
2021 American Control Conference (ACC), 3447-3454, 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
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
Temporal logic robustness for general signal classes
H Abbas, YV Pant, R Mangharam
Proceedings of the 22nd ACM International Conference on Hybrid Systems†…, 2019
AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems
YV Pant, M Pajic, R Mangharam
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
Peak power reduction in hybrid energy systems with limited load forecasts
YV Pant, TX Nghiem, R Mangharam
2014 American Control Conference, 4212-4217, 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
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
Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning
J Wang, Z Jiang, YV Pant
Knowledge-Based Systems 293, 111673, 2024
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20