Safe Networked Robotics via Formal Verification. - Sai Shankar Narasimhan; Sharachchandra Bhat; Sandeep P. Chinchali (CoRR, 2023)

Co-design of communication and machine inference for cloud robotics. - Manabu Nakanoya; Sai Shankar Narasimhan; Sharachchandra Bhat; Alexandros Anemogiannis; Akul Datta; Sachin Katti; Sandeep Chinchali; Marco Pavone 001 (Auton. Robots, 2023)

Time Weaver: A Conditional Time Series Generation Model. - Sai Shankar Narasimhan; Shubhankar Agarwal; Oguzhan Akcin; Sujay Sanghavi; Sandeep P. Chinchali (ICML, 2024)

Constrained Posterior Sampling: Time Series Generation with Hard Constraints. - Sai Shankar Narasimhan; Shubhankar Agarwal; Litu Rout; Sanjay Shakkottai; Sandeep P. Chinchali (CoRR, 2024)

Context Matters: Leveraging Contextual Features for Time Series Forecasting. - Sameep Chattopadhyay; Pulkit Paliwal; Sai Shankar Narasimhan; Shubhankar Agarwal; Sandeep P. Chinchali (CoRR, 2024)

SynDiff-AD: Improving Semantic Segmentation and End-to-End Autonomous Driving with Synthetic Data from Latent Diffusion Models. - Harsh Goel; Sai Shankar Narasimhan; Oguzhan Akcin; Sandeep Chinchali (CoRR, 2024)

Safe Networked Robotics With Probabilistic Verification. - Sai Shankar Narasimhan; Sharachchandra Bhat; Sandeep P. Chinchali (IEEE Robotics Autom. Lett., 2024)

A Challenge to Build Neuro-Symbolic Video Agents. - Sahil Shah; Harsh Goel; Sai Shankar Narasimhan; Minkyu Choi 001; S. P. Sharan; Oguzhan Akcin; Sandeep Chinchali (NeuS, 2025)