AutoPlug: An automotive test-bed for electronic controller unit testing and verification. - Utsav Drolia; Zhenyan Wang; Yash Pant; Rahul Mangharam (ITSC, 2011)

ProtoDrive: an experimental platform for electric vehicle energy scheduling and control. - William Price; Harsh Jain; Yash Pant; Rahul Mangharam (SIGBED Rev., 2013)

Peak power reduction in hybrid energy systems with limited load forecasts. - Yash Vardhan Pant; Truong X. Nghiem; Rahul Mangharam (ACC, 2014)

Hardware Optimizations for Anytime Perception and Control. - Nischal K. N.; Paritosh Kelkar; Dhruva Kumar; Yash Vardhan Pant; Houssam Abbas; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

Co-design of Anytime Computation and Robust Control. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (RTSS, 2015)

Robust model predictive control for non-linear systems with input and state constraints via feedback linearization. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CDC, 2016)

Smooth operator: Control using the smooth robustness of temporal logic. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CCTA, 2017)

Fly-by-logic: control of multi-drone fleets with temporal logic objectives. - Yash Vardhan Pant; Houssam Abbas; Rhudii A. Quaye; Rahul Mangharam (ICCPS, 2018)

Temporal logic robustness for general signal classes. - Houssam Abbas; Yash Vardhan Pant; Rahul Mangharam (HSCC, 2019)

Robustness evaluation of computer-aided clinical trials for medical devices. - Kuk Jin Jang; Yash Vardhan Pant; Bo Zhang; James Weimer; Rahul Mangharam (ICCPS, 2019)

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. - Yash Vardhan Pant; Rhudii A. Quaye; Houssam Abbas; Akarsh Varre; Rahul Mangharam (NFM, 2019)

F1/10: An Open-Source Autonomous Cyber-Physical Platform. - Matthew O'Kelly; Varundev Sukhil; Houssam Abbas; Jack Harkins; Chris Kao; Yash Vardhan Pant; Rahul Mangharam; Dipshil Agarwal; Madhur Behl; Paolo Burgio; Marko Bertogna (CoRR, 2019)

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. - Daniel J. Fremont; Edward Kim 005; Yash Vardhan Pant; Sanjit A. Seshia; Atul Acharya; Xantha Bruso; Paul Wells; Steve Lemke; Qiang Lu 004; Shalin Mehta (ITSC, 2020)

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. - Alëna Rodionova; Yash Vardhan Pant; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ITSC, 2020)

Addressing the IEEE AV Test Challenge with Scenic and VerifAI. - Kesav Viswanadha; Francis Indaheng; Justin Wong; Edward Kim 005; Ellen Kalvan; Yash Pant; Daniel J. Fremont; Sanjit A. Seshia (AITest, 2021)

Counterexample-Guided Synthesis of Perception Models and Control. - Shromona Ghosh; Yash Vardhan Pant; Hadi Ravanbakhsh; Sanjit A. Seshia (ACC, 2021)

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. - Yash Vardhan Pant; He Yin; Murat Arcak; Sanjit A. Seshia (ACC, 2021)

DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. - Victoria Tuck; Yash Vardhan Pant; Sanjit A. Seshia; S. Shankar Sastry (CCTA, 2021)

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. - Alëna Rodionova; Yash Vardhan Pant; Connor Kurtz; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ACM Trans. Cyber Phys. Syst., 2021)

Anytime Computation and Control for Autonomous Systems. - Yash Vardhan Pant; Houssam Abbas; Kartik Mohta; Rhudii A. Quaye; Truong X. Nghiem; Joseph Devietti; Rahul Mangharam (IEEE Trans. Control. Syst. Technol., 2021)

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles. - Mohammad Pirani; Yining She; Renzhi Tang; Zhihao Jiang; Yash Vardhan Pant (ACC, 2022)

Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives. - Yash Vardhan Pant; Houssam Abbas; Rahul Mangharam (CCTA, 2022)

Distributed Traffic Flow Management for Uncrewed Aircraft Systems. - Christopher Chin; Max Z. Li; Yash Vardhan Pant (ITSC, 2022)

Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. - Yash Vardhan Pant; Balasaravanan Thoravi Kumaravel; Ameesh Shah; Erin Kraemer; Marcell Vazquez-Chanlatte; Kshitij Kulkarni; Bjoern Hartmann; Sanjit A. Seshia (ITSC, 2022)

Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles. - Jie Wang 033; Zhihao Jiang; Yash Vardhan Pant (CoRR, 2022)

Stochastic Hybrid Model Predictive Control using Gaussian Processes for Systems with Piecewise Residual Dynamics. - Leroy D'Souza; Yash Vardhan Pant (ACC, 2023)

Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control. - Jie Wang 033; Yash Vardhan Pant; Zhihao Jiang (CoRR, 2023)

Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration. - Soroush Mortazavi Moghaddam; Yash Vardhan Pant; Sebastian Fischmeister (Canadian AI, 2024)

A Data-Driven Distributed Control Scheme: Learning Multi-Objective Agent-Based MPC for Path-Tracking. - Jiaming Zhong; Reza Valiollahi Mehrizi; Yash Vardhan Pant; Amir Khajepour (ITSC, 2024)

Adaptformer: Sequence models as adaptive iterative planners. - Akash Karthikeyan; Yash Vardhan Pant (CoRR, 2024)

Model Predictive Control for Systems With Partially Unknown Dynamics Under Signal Temporal Logic Specifications. - Zhao Feng Dai; Yash Vardhan Pant; Stephen L. Smith 001 (IEEE Control. Syst. Lett., 2024)

Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning. - Jie Wang 033; Zhihao Jiang; Yash Vardhan Pant (Knowl. Based Syst., 2024)

Enhancing Safety in Mixed Traffic: Learning-Based Modeling and Efficient Control of Autonomous and Human-Driven Vehicles. - Jie Wang 033; Yash Vardhan Pant; Lei Zhao; Michal Antkiewicz; Krzysztof Czarnecki 001 (IEEE Trans. Intell. Transp. Syst., 2024)

Learning Agent-Based Model Predictive Control for Holistic Vehicle Performance. - Jiaming Zhong; Reza Valiollahi Mehrizi; Mohammad Pirani; Chao Yu; Alireza Kasaiezadeh; Yash Vardhan Pant; Amir Khajepour (IEEE Trans. Intell. Transp. Syst., 2024)

GenPlan: Generative Sequence Models as Adaptive Planners. - Akash Karthikeyan; Yash Vardhan Pant (AAAI, 2025)

Generating Malicious Demonstration Policies to Exploit Vulnerabilities in Inverse Reinforcement Learning. - Arezoo Alipanah; Yash Pant (Canadian AI, 2025)