Convex estimation of the α-confidence reachable set for systems with parametric uncertainty. - Patrick D. Holmes; Shreyas Kousik; Shankar Mohan; Ram Vasudevan (CDC, 2016)

Safe Trajectory Synthesis for Autonomous Driving in Unforeseen Environments. - Shreyas Kousik; Sean Vaskov; Matthew Johnson-Roberson; Ramanarayan Vasudevan (CoRR, 2017)

Guaranteed Safe Reachability-based Trajectory Design for a High-Fidelity Model of an Autonomous Passenger Vehicle. - Sean Vaskov; Utkarsh Sharma; Shreyas Kousik; Matthew Johnson-Roberson; Ramanarayan Vasudevan (ACC, 2019)

Not-at-Fault Driving in Traffic: A Reachability-Based Approach. - Sean Vaskov; Hannah Larson; Shreyas Kousik; Matthew Johnson-Roberson; Ram Vasudevan (ITSC, 2019)

Towards Provably Not-At-Fault Control of Autonomous Robots in Arbitrary Dynamic Environments. - Sean Vaskov; Shreyas Kousik; Hannah Larson; Fan Bu; James Robert Ward; Stewart Worrall 002; Matthew Johnson-Roberson; Ram Vasudevan (Robotics: Science and Systems, 2019)

Safe, Aggressive Quadrotor Flight via Reachability-based Trajectory Design. - Shreyas Kousik; Patrick D. Holmes; Ramanarayan Vasudevan (CoRR, 2019)

Reachable Sets for Safe, Real-Time Manipulator Trajectory Design. - Patrick D. Holmes; Shreyas Kousik; Bohao Zhang; Daphna Raz; Corina Barbalata; Matthew Johnson-Roberson; Ram Vasudevan (Robotics: Science and Systems, 2020)

Bridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots. - Shreyas Kousik; Sean Vaskov; Fan Bu; Matthew Johnson-Roberson; Ram Vasudevan (Int. J. Robotics Res., 2020)

Constrained Feedforward Neural Network Training via Reachability Analysis. - Long Kiu Chung; Adam Dai; Derek Knowles; Shreyas Kousik; Grace Xingxin Gao (CoRR, 2021)

Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. - Shreyas Kousik; Adam Dai; Grace Xingxin Gao (CoRR, 2021)

Reachability-Based Trajectory Safeguard (RTS): A Safe and Fast Reinforcement Learning Safety Layer for Continuous Control. - Yifei Simon Shao; Chen Chao; Shreyas Kousik; Ram Vasudevan (IEEE Robotics Autom. Lett., 2021)

Safe, Optimal, Real-Time Trajectory Planning With a Parallel Constrained Bernstein Algorithm. - Shreyas Kousik; Bohao Zhang; Pengcheng Zhao; Ram Vasudevan (IEEE Trans. Robotics, 2021)

Self-Supervised Traffic Advisors: Distributed, Multi-view Traffic Prediction for Smart Cities. - Jiankai Sun; Shreyas Kousik; David Fridovich-Keil; Mac Schwager (ITSC, 2022)

Set-Valued Shadow Matching Using Zonotopes for 3-D Map-Aided GNSS Localization. - Sriramya Bhamidipati; Shreyas Kousik; Grace Xingxin Gao (CoRR, 2022)

Safe Reinforcement Learning Using Black-Box Reachability Analysis. - Mahmoud Selim; Amr Alanwar 001; Shreyas Kousik; Grace Xingxin Gao; Marco Pavone 001; Karl Henrik Johansson (IEEE Robotics Autom. Lett., 2022)

Connected Autonomous Vehicle Motion Planning with Video Predictions from Smart, Self-Supervised Infrastructure. - Jiankai Sun; Shreyas Kousik; David Fridovich-Keil; Mac Schwager (ITSC, 2023)

Can't Touch This: Real-Time, Safe Motion Planning and Control for Manipulators Under Uncertainty. - Jonathan B. Michaux; Patrick D. Holmes; Bohao Zhang; Che Chen; Baiyue Wang; Shrey Sahgal; Tiancheng Zhang 002; Sidhartha Dey; Shreyas Kousik; Ram Vasudevan (CoRR, 2023)

Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. - Shreyas Kousik; Adam Dai; Grace Xingxin Gao (IEEE Trans. Autom. Control., 2023)

Mapping High-level Semantic Regions in Indoor Environments without Object Recognition. - Roberto Bigazzi; Lorenzo Baraldi 001; Shreyas Kousik; Rita Cucchiara; Marco Pavone 001 (ICRA, 2024)

ZAPP! Zonotope Agreement of Prediction and Planning for Continuous-Time Collision Avoidance with Discrete-Time Dynamics. - Luca Paparusso; Shreyas Kousik; Edward Schmerling; Francesco Braghin; Marco Pavone 001 (ICRA, 2024)

Real-time Model Predictive Control with Zonotope-Based Neural Networks for Bipedal Social Navigation. - Abdulaziz Shamsah; Krishanu Agarwal; Shreyas Kousik; Ye Zhao 002 (IROS, 2024)

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation. - Long Kiu Chung; Wonsuhk Jung; Chuizheng Kong; Shreyas Kousik (Robotics: Science and Systems, 2024)

Towards Closing the Loop in Robotic Pollination for Indoor Farming via Autonomous Microscopic Inspection. - Chuizheng Kong; Alex S. Qiu; Idris Wibowo; Marvin Ren; Aishik Dhori; Kai-Shu Ling; Ai-Ping Hu; Shreyas Kousik (CoRR, 2024)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability. - Long Kiu Chung; Wonsuhk Jung; Srivatsank Pullabhotla; Parth Shinde; Yadu Sunil; Saihari Kota; Luis F. W. Batista; Cédric Pradalier; Shreyas Kousik (CoRR, 2024)

RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution. - Wonsuhk Jung; Dennis Anthony; Utkarsh A. Mishra; Nadun Ranawaka Arachchige; Matthew Bronars; Danfei Xu; Shreyas Kousik (CoRR, 2024)

Socially Acceptable Bipedal Robot Navigation via Social Zonotope Network Model Predictive Control. - Abdulaziz Shamsah; Krishanu Agarwal; Nigam Katta; Abirath Raju; Shreyas Kousik; Ye Zhao 002 (IEEE Trans Autom. Sci. Eng., 2025)

Can Not Touch This: Real-Time, Safe Motion Planning and Control for Manipulators Under Uncertainty. - Jonathan B. Michaux; Patrick D. Holmes; Bohao Zhang; Che Chen; Baiyue Wang; Shrey Sahgal; Tiancheng Zhang 002; Sidhartha Dey; Shreyas Kousik; Ram Vasudevan (IEEE Trans. Robotics, 2025)

Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis. - Long Kiu Chung; Shreyas Kousik (CoRR, 2025)

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots. - Dan BW Choe; Sundhar Vinodh Sangeetha; Steven Emanuel; Chih-Yuan Chiu; Samuel Coogan 001; Shreyas Kousik (CoRR, 2025)

SAIL: Faster-than-Demonstration Execution of Imitation Learning Policies. - Nadun Ranawaka Arachchige; Zhenyang Chen; Wonsuhk Jung; Woo-Chul Shin; Rohan Bansal; Pierre Barroso; Yu Hang He; Yingyang Celine Lin; Benjamin Joffe; Shreyas Kousik; Danfei Xu (CoRR, 2025)

Dynamic Task Space Control of Redundant Pneumatically Actuated Soft Robot. - Milad Azizkhani; Shreyas Kousik; Yue Chen (IEEE Robotics Autom. Lett., 2025)